Task 8

Question 1

Write down the formula for “modus ponens”:

Answer 1

(P triangle pointing up (P->Q))-> Q

Question 2

Write down the formula for “modus tollens”:

Answer 2

(-Q triangle pointing up (P->Q))-> -P

Question 3

What is meant by logically true or tautologous ?

Answer 3

All outcomes are true

Question 4

What is meant by logically false or self-contradictory ?

Answer 4

All outcomes are wrong

Question 5

What is meant by Contingent ?

Answer 5

All outcomes are a mixture of true and false conclusion

Question 6

What formula is used to identfy the number of rows which are need for the correct formula regarding a propositional logic ?

Answer 6

2^n

Question 7

What does logically equivalent mean ?

Answer 7

• If both of the truth tables have identical solutions !!

Question 8

What is meant by a contradictionary statement ?

Answer 8

• if the both tof the truth tables have complete opposite solutions

Question 9

What is meant by a consistent statment ?

Answer 9

• If the truth table is at least on one line identical to the other truth table

Question 10

What is meant by inconsitent statement ?

Answer 10

• no line of both truth tables are identical