C++ only
Upvote for your own work and correct answer/ Downvote for copying the answer from a different website. It must be in C++ and it must be a working code. Thank You.
Assignment: Create a C++ program that can test the validity of propositional logic. Remember, a propositional logical statement is invalid should you find any combination of input where the PROPOSITIONAL statements are ALL true, while the CONCLUSION statement is false.
Propositional Statements:
If someone has a rocket, that implies they’re an astronaut.
If someone is an astronaut, that implies they’re highly trained.
If someone is highly trained, that implies they’re educated.
Conclusion Statement:
A person is educated, which implies they have a rocket.
Your output should declare the statement to either be valid or invalid. If it’s invalid, it needs to state which combination of inputs yielded the statement invalid. MAKE SURE IT POINTS OUT EVERY TIME THE STATEMENT IS INVALID IF IT IS INDEED INVALID.