Flashcards in Task 8 Deck (10)
Write down the formula for "modus ponens":
(P triangle pointing up (P->Q))-> Q
Write down the formula for "modus tollens":
(-Q triangle pointing up (P->Q))-> -P
What is meant by logically true or tautologous ?
All outcomes are true
What is meant by logically false or self-contradictory ?
All outcomes are wrong
What is meant by Contingent ?
All outcomes are a mixture of true and false conclusion
What formula is used to identfy the number of rows which are need for the correct formula regarding a propositional logic ?
What does logically equivalent mean ?
- If both of the truth tables have identical solutions !!
What is meant by a contradictionary statement ?
- if the both tof the truth tables have complete opposite solutions
What is meant by a consistent statment ?
- If the truth table is at least on one line identical to the other truth table