- Thread starter
- #1

#### Joystar1977

##### Active member

- Jul 24, 2013

- 119

Use a truth table to determine that "division into cases" rule of inference is valid.

- Thread starter Joystar1977
- Start date

- Thread starter
- #1

- Jul 24, 2013

- 119

Use a truth table to determine that "division into cases" rule of inference is valid.

- Jan 30, 2012

- 2,504

- Thread starter
- #3

- Jul 24, 2013

- 119

p q p arrow q

T T T

T F F

F T T

F F T

- Jan 30, 2012

- 2,504

Also make sure you know what it means, by definition, for a rule to be valid.You'll have to tell us what this rule [i.e., division into cases] is.

You can put a material that requires alignment inside the [code]...[/code] tags because these tags preserve spaces. E.g.:

Code:

```
p q p -> q
------------
T T T
T F F
F T T
F F T
```

- Thread starter
- #5

- Jul 24, 2013

- 119

Thank you Evgeny.Makarov!