Flashcards in Task 8 Deck (10)

Loading flashcards...

1

## Write down the formula for "modus ponens":

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

2

## Write down the formula for "modus tollens":

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

3

## What is meant by logically true or tautologous ?

### All outcomes are true

4

## What is meant by logically false or self-contradictory ?

### All outcomes are wrong

5

## What is meant by Contingent ?

### All outcomes are a mixture of true and false conclusion

6

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

### 2^n

7

## What does logically equivalent mean ?

### - If both of the truth tables have identical solutions !!

8

## What is meant by a contradictionary statement ?

### - if the both tof the truth tables have complete opposite solutions

9

## What is meant by a consistent statment ?

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

10