Question

C++ PROPOSITIONAL LOGIC

Assignment: Create a program which 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, that 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.

Answer 1

"Propositional logic for the above statements: Let us assume. Rocket rightarrow R Astronaut rightarrow A Highly Trained rightarrow H Educated rightarrow E R rightarrow A A rightarrow H H rightarrow E This is the propositional logic for the given statements The code must be written in this way, C ++ code: #include < iostream > # include < string.h > using namespace std: int main() { string R =""Rocket"": string A =""Astranaut"": string H =""Highly trained"": string E =""educated"": string c: c = ((R ^A) ^(A ^H) ^(H ^E)): if (C == l) cout < < c: cout < < ""valid"": else cout < < ""Not Valid"" return 0: }"