19 or 24 Categorical Syllogisms
Table Name
1 bArbArA
2 cElArEnt
3 dArII
4 fErIO
5 cEsArE
6 cAmEstrEs
7 bArOcO
8 fEstInO
9* dArAptI
10 dAtIsI
11 dIsAmIs
12* fElAptOn
13 bOcArdO
14 fErIsOn
15* brAmAntIp
16 dImArIs
17 cAmEnEs
18* fEsApO
19 frEsIsOn
20* (from 1)
21* (from 2)
22* (from 5)
23* (from 6)
24 (from 17)
*requires existential import (EI) for validity
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∃ ∀ ∃
P Q R Q => R P => Q P => R P Q R Q ^ ~R Q => P P ^ ~R
1 1 1 1 1 TRUE TRUE TRUE 13 1 1 1 1 FALSE TRUE FALSE
2 1 1 0 FALSE TRUE FALSE 2 1 1 0 TRUE TRUE TRUE
3 1 0 1 TRUE FALSE TRUE 3 1 0 1 FALSE TRUE FALSE
4 1 0 0 TRUE FALSE FALSE 4 1 0 0 FALSE TRUE TRUE
5 0 1 1 TRUE TRUE TRUE 5 0 1 1 FALSE FALSE FALSE
6 0 1 0 FALSE TRUE TRUE 6 0 1 0 TRUE FALSE FALSE
7 0 0 1 TRUE TRUE TRUE 7 0 0 1 FALSE TRUE FALSE
8 0 0 0 TRUE TRUE TRUE 8 0 0 0 FALSE TRUE FALSE
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∀ ∃ ∃
P Q R R => ~Q P => R P => ~Q P Q R Q => ~R Q^P P ^ ~R
2 1 1 1 1 FALSE TRUE FALSE 14 1 1 1 1 FALSE TRUE FALSE
2 1 1 0 TRUE FALSE FALSE 2 1 1 0 TRUE TRUE TRUE
3 1 0 1 TRUE TRUE TRUE 3 1 0 1 TRUE FALSE FALSE
4 1 0 0 TRUE FALSE TRUE 4 1 0 0 TRUE FALSE TRUE
5 0 1 1 FALSE TRUE TRUE 5 0 1 1 FALSE FALSE FALSE
6 0 1 0 TRUE TRUE TRUE 6 0 1 0 TRUE FALSE FALSE
7 0 0 1 TRUE TRUE TRUE 7 0 0 1 TRUE FALSE FALSE
8 0 0 0 TRUE TRUE TRUE 8 0 0 0 TRUE FALSE FALSE
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => R P^Q P^R P Q R R => Q Q => P P^R
3 1 1 1 1 TRUE TRUE TRUE 15 1 1 1 1 TRUE TRUE TRUE
2 1 1 0 FALSE TRUE FALSE 2 1 1 0 TRUE TRUE FALSE
3 1 0 1 TRUE FALSE TRUE 3 1 0 1 FALSE TRUE TRUE
4 1 0 0 TRUE FALSE FALSE 4 1 0 0 TRUE TRUE FALSE
5 0 1 1 TRUE FALSE FALSE 5 0 1 1 TRUE FALSE FALSE
6 0 1 0 FALSE FALSE FALSE 6 0 1 0 TRUE FALSE FALSE
7 0 0 1 TRUE FALSE FALSE 7 0 0 1 FALSE TRUE FALSE
8 0 0 0 TRUE FALSE FALSE 8 0 0 0 TRUE TRUE FALSE
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∃ ∀ ∃
P Q R Q => ~R P^Q P ^ ~R P Q R R^Q Q => P P^R
4 1 1 1 1 FALSE TRUE FALSE 16 1 1 1 1 TRUE TRUE TRUE
2 1 1 0 TRUE TRUE TRUE 2 1 1 0 FALSE TRUE FALSE
3 1 0 1 TRUE FALSE FALSE 3 1 0 1 FALSE TRUE TRUE
4 1 0 0 TRUE FALSE TRUE 4 1 0 0 FALSE TRUE FALSE
5 0 1 1 FALSE FALSE FALSE 5 0 1 1 TRUE FALSE FALSE
6 0 1 0 TRUE FALSE FALSE 6 0 1 0 FALSE FALSE FALSE
7 0 0 1 TRUE FALSE FALSE 7 0 0 1 FALSE TRUE FALSE
8 0 0 0 TRUE FALSE FALSE 8 0 0 0 FALSE TRUE FALSE
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∀ ∀ ∀
P Q R R => ~Q P => Q P => ~R P Q R R => Q Q => ~P P => ~R
5 1 1 1 1 FALSE TRUE FALSE 17 1 1 1 1 TRUE FALSE FALSE
2 1 1 0 TRUE TRUE TRUE 2 1 1 0 TRUE FALSE TRUE
3 1 0 1 TRUE FALSE FALSE 3 1 0 1 FALSE TRUE FALSE
4 1 0 0 TRUE FALSE TRUE 4 1 0 0 TRUE TRUE TRUE
5 0 1 1 FALSE TRUE TRUE 5 0 1 1 TRUE TRUE TRUE
6 0 1 0 TRUE TRUE TRUE 6 0 1 0 TRUE TRUE TRUE
7 0 0 1 TRUE TRUE TRUE 7 0 0 1 FALSE TRUE TRUE
8 0 0 0 TRUE TRUE TRUE 8 0 0 0 TRUE TRUE TRUE
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∀ ∀ ∃
P Q R R => Q P => ~Q P => ~R P Q R R => ~Q Q => P P ^ ~R
6 1 1 1 1 TRUE FALSE FALSE 18 1 1 1 1 FALSE TRUE FALSE
2 1 1 0 TRUE FALSE TRUE 2 1 1 0 TRUE TRUE TRUE
3 1 0 1 FALSE TRUE FALSE 3 1 0 1 TRUE TRUE FALSE
4 1 0 0 TRUE TRUE TRUE 4 1 0 0 TRUE TRUE TRUE
5 0 1 1 TRUE TRUE TRUE 5 0 1 1 FALSE FALSE FALSE
6 0 1 0 TRUE TRUE TRUE 6 0 1 0 TRUE FALSE FALSE
7 0 0 1 FALSE TRUE TRUE 7 0 0 1 TRUE TRUE FALSE
8 0 0 0 TRUE TRUE TRUE 8 0 0 0 TRUE TRUE FALSE
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∃ ∃
P Q R R => Q P ^ ~Q P ^ ~R P Q R R => ~Q Q^P P ^ ~R
7 1 1 1 1 TRUE FALSE FALSE 19 1 1 1 1 FALSE TRUE FALSE
2 1 1 0 TRUE FALSE TRUE 2 1 1 0 TRUE TRUE TRUE
3 1 0 1 FALSE TRUE FALSE 3 1 0 1 TRUE FALSE FALSE
4 1 0 0 TRUE TRUE TRUE 4 1 0 0 TRUE FALSE TRUE
5 0 1 1 TRUE FALSE FALSE 5 0 1 1 FALSE FALSE FALSE
6 0 1 0 TRUE FALSE FALSE 6 0 1 0 TRUE FALSE FALSE
7 0 0 1 FALSE FALSE FALSE 7 0 0 1 TRUE FALSE FALSE
8 0 0 0 TRUE FALSE FALSE 8 0 0 0 TRUE FALSE FALSE
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R R => ~Q P^Q P ^ ~R P Q R Q => R P => Q P^R
8 1 1 1 1 FALSE TRUE FALSE 20 1 1 1 1 TRUE TRUE TRUE
2 1 1 0 TRUE TRUE TRUE 2 1 1 0 FALSE TRUE FALSE
3 1 0 1 TRUE FALSE FALSE 3 1 0 1 TRUE FALSE TRUE
4 1 0 0 TRUE FALSE TRUE 4 1 0 0 TRUE FALSE FALSE
5 0 1 1 FALSE FALSE FALSE 5 0 1 1 TRUE TRUE FALSE
6 0 1 0 TRUE FALSE FALSE 6 0 1 0 FALSE TRUE FALSE
7 0 0 1 TRUE FALSE FALSE 7 0 0 1 TRUE TRUE FALSE
8 0 0 0 TRUE FALSE FALSE 8 0 0 0 TRUE TRUE FALSE
∃ ∃ ∃ ∀ ∀ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => R Q => P P^R P Q R Q => ~R P => Q P ^ ~R
9 1 1 1 1 TRUE TRUE TRUE 21 1 1 1 1 FALSE TRUE FALSE
2 1 1 0 FALSE TRUE FALSE 2 1 1 0 TRUE TRUE TRUE
3 1 0 1 TRUE TRUE TRUE 3 1 0 1 TRUE FALSE FALSE
4 1 0 0 TRUE TRUE FALSE 4 1 0 0 TRUE FALSE TRUE
5 0 1 1 TRUE FALSE FALSE 5 0 1 1 FALSE TRUE FALSE
6 0 1 0 FALSE FALSE FALSE 6 0 1 0 TRUE TRUE FALSE
7 0 0 1 TRUE TRUE FALSE 7 0 0 1 TRUE TRUE FALSE
8 0 0 0 TRUE TRUE FALSE 8 0 0 0 TRUE TRUE FALSE
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => R Q^P P^R P Q R R => Q P => ~Q P ^ ~R
10 1 1 1 1 TRUE TRUE TRUE 22 1 1 1 1 TRUE FALSE FALSE
2 1 1 0 FALSE TRUE FALSE 2 1 1 0 TRUE FALSE TRUE
3 1 0 1 TRUE FALSE TRUE 3 1 0 1 FALSE TRUE FALSE
4 1 0 0 TRUE FALSE FALSE 4 1 0 0 TRUE TRUE TRUE
5 0 1 1 TRUE FALSE FALSE 5 0 1 1 TRUE TRUE FALSE
6 0 1 0 FALSE FALSE FALSE 6 0 1 0 TRUE TRUE FALSE
7 0 0 1 TRUE FALSE FALSE 7 0 0 1 FALSE TRUE FALSE
8 0 0 0 TRUE FALSE FALSE 8 0 0 0 TRUE TRUE FALSE
∃ ∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q^R Q => P P^R P Q R R => ~Q P => Q P ^ ~R
11 1 1 1 1 TRUE TRUE TRUE 23 1 1 1 1 FALSE TRUE FALSE
2 1 1 0 FALSE TRUE FALSE 2 1 1 0 TRUE TRUE TRUE
3 1 0 1 FALSE TRUE TRUE 3 1 0 1 TRUE FALSE FALSE
4 1 0 0 FALSE TRUE FALSE 4 1 0 0 TRUE FALSE TRUE
5 0 1 1 TRUE FALSE FALSE 5 0 1 1 FALSE TRUE FALSE
6 0 1 0 FALSE FALSE FALSE 6 0 1 0 TRUE TRUE FALSE
7 0 0 1 FALSE TRUE FALSE 7 0 0 1 TRUE TRUE FALSE
8 0 0 0 FALSE TRUE FALSE 8 0 0 0 TRUE TRUE FALSE
∃ ∃ ∃ ∀ ∀ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => ~R Q => P P ^ ~R P Q R R => Q Q => ~P P => ~R
12 1 1 1 1 FALSE TRUE FALSE 24 1 1 1 1 TRUE FALSE FALSE
2 1 1 0 TRUE TRUE TRUE 2 1 1 0 TRUE FALSE TRUE
3 1 0 1 TRUE TRUE FALSE 3 1 0 1 FALSE TRUE FALSE
4 1 0 0 TRUE TRUE TRUE 4 1 0 0 TRUE TRUE TRUE
5 0 1 1 FALSE FALSE FALSE 5 0 1 1 TRUE TRUE TRUE
6 0 1 0 TRUE FALSE FALSE 6 0 1 0 TRUE TRUE TRUE
7 0 0 1 TRUE TRUE FALSE 7 0 0 1 FALSE TRUE TRUE
8 0 0 0 TRUE TRUE FALSE 8 0 0 0 TRUE TRUE TRUE
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∃ ∀ ∃
P Q R Q => R P => Q P => R P Q R Q ^ ~R Q => P P ^ ~R
1 1 1 1 1 1 1 1 13 1 1 1 1 0 1 0
2 1 1 0 0 1 0 2 1 1 0 1 1 1
3 1 0 1 1 0 1 3 1 0 1 0 1 0
4 1 0 0 1 0 0 4 1 0 0 0 1 1
5 0 1 1 1 1 1 5 0 1 1 0 0 0
6 0 1 0 0 1 1 6 0 1 0 1 0 0
7 0 0 1 1 1 1 7 0 0 1 0 1 0
8 0 0 0 1 1 1 8 0 0 0 0 1 0
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∀ ∃ ∃
P Q R R => ~Q P => R P => ~Q P Q R Q => ~R Q^P P ^ ~R
2 1 1 1 1 0 1 0 14 1 1 1 1 0 1 0
2 1 1 0 1 0 0 2 1 1 0 1 1 1
3 1 0 1 1 1 1 3 1 0 1 1 0 0
4 1 0 0 1 0 1 4 1 0 0 1 0 1
5 0 1 1 0 1 1 5 0 1 1 0 0 0
6 0 1 0 1 1 1 6 0 1 0 1 0 0
7 0 0 1 1 1 1 7 0 0 1 1 0 0
8 0 0 0 1 1 1 8 0 0 0 1 0 0
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => R P^Q P^R P Q R R => Q Q => P P^R
3 1 1 1 1 1 1 1 15 1 1 1 1 1 1 1
2 1 1 0 0 1 0 2 1 1 0 1 1 0
3 1 0 1 1 0 1 3 1 0 1 0 1 1
4 1 0 0 1 0 0 4 1 0 0 1 1 0
5 0 1 1 1 0 0 5 0 1 1 1 0 0
6 0 1 0 0 0 0 6 0 1 0 1 0 0
7 0 0 1 1 0 0 7 0 0 1 0 1 0
8 0 0 0 1 0 0 8 0 0 0 1 1 0
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∃ ∀ ∃
P Q R Q => ~R P^Q P ^ ~R P Q R R^Q Q => P P^R
4 1 1 1 1 0 1 0 16 1 1 1 1 1 1 1
2 1 1 0 1 1 1 2 1 1 0 0 1 0
3 1 0 1 1 0 0 3 1 0 1 0 1 1
4 1 0 0 1 0 1 4 1 0 0 0 1 0
5 0 1 1 0 0 0 5 0 1 1 1 0 0
6 0 1 0 1 0 0 6 0 1 0 0 0 0
7 0 0 1 1 0 0 7 0 0 1 0 1 0
8 0 0 0 1 0 0 8 0 0 0 0 1 0
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∀ ∀ ∀
P Q R R => ~Q P => Q P => ~R P Q R R => Q Q => ~P P => ~R
5 1 1 1 1 0 1 0 17 1 1 1 1 1 0 0
2 1 1 0 1 1 1 2 1 1 0 1 0 1
3 1 0 1 1 0 0 3 1 0 1 0 1 0
4 1 0 0 1 0 1 4 1 0 0 1 1 1
5 0 1 1 0 1 1 5 0 1 1 1 1 1
6 0 1 0 1 1 1 6 0 1 0 1 1 1
7 0 0 1 1 1 1 7 0 0 1 0 1 1
8 0 0 0 1 1 1 8 0 0 0 1 1 1
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∀ ∀ ∃
P Q R R => Q P => ~Q P => ~R P Q R R => ~Q Q => P P ^ ~R
6 1 1 1 1 1 0 0 18 1 1 1 1 0 1 0
2 1 1 0 1 0 1 2 1 1 0 1 1 1
3 1 0 1 0 1 0 3 1 0 1 1 1 0
4 1 0 0 1 1 1 4 1 0 0 1 1 1
5 0 1 1 1 1 1 5 0 1 1 0 0 0
6 0 1 0 1 1 1 6 0 1 0 1 0 0
7 0 0 1 0 1 1 7 0 0 1 1 1 0
8 0 0 0 1 1 1 8 0 0 0 1 1 0
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∃ ∃
P Q R R => Q P ^ ~Q P ^ ~R P Q R R => ~Q Q^P P ^ ~R
7 1 1 1 1 1 0 0 19 1 1 1 1 0 1 0
2 1 1 0 1 0 1 2 1 1 0 1 1 1
3 1 0 1 0 1 0 3 1 0 1 1 0 0
4 1 0 0 1 1 1 4 1 0 0 1 0 1
5 0 1 1 1 0 0 5 0 1 1 0 0 0
6 0 1 0 1 0 0 6 0 1 0 1 0 0
7 0 0 1 0 0 0 7 0 0 1 1 0 0
8 0 0 0 1 0 0 8 0 0 0 1 0 0
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R R => ~Q P^Q P ^ ~R P Q R Q => R P => Q P^R
8 1 1 1 1 0 1 0 20 1 1 1 1 1 1 1
2 1 1 0 1 1 1 2 1 1 0 0 1 0
3 1 0 1 1 0 0 3 1 0 1 1 0 1
4 1 0 0 1 0 1 4 1 0 0 1 0 0
5 0 1 1 0 0 0 5 0 1 1 1 1 0
6 0 1 0 1 0 0 6 0 1 0 0 1 0
7 0 0 1 1 0 0 7 0 0 1 1 1 0
8 0 0 0 1 0 0 8 0 0 0 1 1 0
∃ ∃ ∃ ∀ ∀ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => R Q => P P^R P Q R Q => ~R P => Q P ^ ~R
9 1 1 1 1 1 1 1 21 1 1 1 1 0 1 0
2 1 1 0 0 1 0 2 1 1 0 1 1 1
3 1 0 1 1 1 1 3 1 0 1 1 0 0
4 1 0 0 1 1 0 4 1 0 0 1 0 1
5 0 1 1 1 0 0 5 0 1 1 0 1 0
6 0 1 0 0 0 0 6 0 1 0 1 1 0
7 0 0 1 1 1 0 7 0 0 1 1 1 0
8 0 0 0 1 1 0 8 0 0 0 1 1 0
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => R Q^P P^R P Q R R => Q P => ~Q P ^ ~R
10 1 1 1 1 1 1 1 22 1 1 1 1 1 0 0
2 1 1 0 0 1 0 2 1 1 0 1 0 1
3 1 0 1 1 0 1 3 1 0 1 0 1 0
4 1 0 0 1 0 0 4 1 0 0 1 1 1
5 0 1 1 1 0 0 5 0 1 1 1 1 0
6 0 1 0 0 0 0 6 0 1 0 1 1 0
7 0 0 1 1 0 0 7 0 0 1 0 1 0
8 0 0 0 1 0 0 8 0 0 0 1 1 0
∃ ∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q^R Q => P P^R P Q R R => ~Q P => Q P ^ ~R
11 1 1 1 1 1 1 1 23 1 1 1 1 0 1 0
2 1 1 0 0 1 0 2 1 1 0 1 1 1
3 1 0 1 0 1 1 3 1 0 1 1 0 0
4 1 0 0 0 1 0 4 1 0 0 1 0 1
5 0 1 1 1 0 0 5 0 1 1 0 1 0
6 0 1 0 0 0 0 6 0 1 0 1 1 0
7 0 0 1 0 1 0 7 0 0 1 1 1 0
8 0 0 0 0 1 0 8 0 0 0 1 1 0
∃ ∃ ∃ ∀ ∀ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => ~R Q => P P ^ ~R P Q R R => Q Q => ~P P => ~R
12 1 1 1 1 0 1 0 24 1 1 1 1 1 0 0
2 1 1 0 1 1 1 2 1 1 0 1 0 1
3 1 0 1 1 1 0 3 1 0 1 0 1 0
4 1 0 0 1 1 1 4 1 0 0 1 1 1
5 0 1 1 0 0 0 5 0 1 1 1 1 1
6 0 1 0 1 0 0 6 0 1 0 1 1 1
7 0 0 1 1 1 0 7 0 0 1 0 1 1
8 0 0 0 1 1 0 8 0 0 0 1 1 1
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∃ ∀ ∃
P Q R Q => R P => Q P => R P Q R Q ^ ~R Q => P P ^ ~R
1 1 1 1 1 1 1 1 13 1 1 1 1 0 1 0
2 1 1 0 0 1 0 2 1 1 0 1 1 1
3 1 0 1 1 0 1 3 1 0 1 0 1 0
4 1 0 0 1 0 0 4 1 0 0 0 1 1
5 0 1 1 1 1 1 5 0 1 1 0 0 0
6 0 1 0 0 1 1 6 0 1 0 1 0 0
7 0 0 1 1 1 1 7 0 0 1 0 1 0
8 0 0 0 1 1 1 8 0 0 0 0 1 0
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∀ ∃ ∃
P Q R R => ~Q P => R P => ~Q P Q R Q => ~R Q^P P ^ ~R
2 1 1 1 1 0 1 0 14 1 1 1 1 0 1 0
2 1 1 0 1 0 0 2 1 1 0 1 1 1
3 1 0 1 1 1 1 3 1 0 1 1 0 0
4 1 0 0 1 0 1 4 1 0 0 1 0 1
5 0 1 1 0 1 1 5 0 1 1 0 0 0
6 0 1 0 1 1 1 6 0 1 0 1 0 0
7 0 0 1 1 1 1 7 0 0 1 1 0 0
8 0 0 0 1 1 1 8 0 0 0 1 0 0
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => R P^Q P^R P Q R R => Q Q => P P^R
3 1 1 1 1 1 1 1 15 1 1 1 1 1 1 1
2 1 1 0 0 1 0 2 1 1 0 1 1 0
3 1 0 1 1 0 1 3 1 0 1 0 1 1
4 1 0 0 1 0 0 4 1 0 0 1 1 0
5 0 1 1 1 0 0 5 0 1 1 1 0 0
6 0 1 0 0 0 0 6 0 1 0 1 0 0
7 0 0 1 1 0 0 7 0 0 1 0 1 0
8 0 0 0 1 0 0 8 0 0 0 1 1 0
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∃ ∀ ∃
P Q R Q => ~R P^Q P ^ ~R P Q R R^Q Q => P P^R
4 1 1 1 1 0 1 0 16 1 1 1 1 1 1 1
2 1 1 0 1 1 1 2 1 1 0 0 1 0
3 1 0 1 1 0 0 3 1 0 1 0 1 1
4 1 0 0 1 0 1 4 1 0 0 0 1 0
5 0 1 1 0 0 0 5 0 1 1 1 0 0
6 0 1 0 1 0 0 6 0 1 0 0 0 0
7 0 0 1 1 0 0 7 0 0 1 0 1 0
8 0 0 0 1 0 0 8 0 0 0 0 1 0
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∀ ∀ ∀
P Q R R => ~Q P => Q P => ~R P Q R R => Q Q => ~P P => ~R
5 1 1 1 1 0 1 0 17 1 1 1 1 1 0 0
2 1 1 0 1 1 1 2 1 1 0 1 0 1
3 1 0 1 1 0 0 3 1 0 1 0 1 0
4 1 0 0 1 0 1 4 1 0 0 1 1 1
5 0 1 1 0 1 1 5 0 1 1 1 1 1
6 0 1 0 1 1 1 6 0 1 0 1 1 1
7 0 0 1 1 1 1 7 0 0 1 0 1 1
8 0 0 0 1 1 1 8 0 0 0 1 1 1
∃ ∃ ∃ ∀ ∀ ∀ ∃ ∃ ∃ ∀ ∀ ∃
P Q R R => Q P => ~Q P => ~R P Q R R => ~Q Q => P P ^ ~R
6 1 1 1 1 1 0 0 18 1 1 1 1 0 1 0
2 1 1 0 1 0 1 2 1 1 0 1 1 1
3 1 0 1 0 1 0 3 1 0 1 1 1 0
4 1 0 0 1 1 1 4 1 0 0 1 1 1
5 0 1 1 1 1 1 5 0 1 1 0 0 0
6 0 1 0 1 1 1 6 0 1 0 1 0 0
7 0 0 1 0 1 1 7 0 0 1 1 1 0
8 0 0 0 1 1 1 8 0 0 0 1 1 0
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∃ ∃
P Q R R => Q P ^ ~Q P ^ ~R P Q R R => ~Q Q^P P ^ ~R
7 1 1 1 1 1 0 0 19 1 1 1 1 0 1 0
2 1 1 0 1 0 1 2 1 1 0 1 1 1
3 1 0 1 0 1 0 3 1 0 1 1 0 0
4 1 0 0 1 1 1 4 1 0 0 1 0 1
5 0 1 1 1 0 0 5 0 1 1 0 0 0
6 0 1 0 1 0 0 6 0 1 0 1 0 0
7 0 0 1 0 0 0 7 0 0 1 1 0 0
8 0 0 0 1 0 0 8 0 0 0 1 0 0
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R R => ~Q P^Q P ^ ~R P Q R Q => R P => Q P^R
8 1 1 1 1 0 1 0 20 1 1 1 1 1 1 1
2 1 1 0 1 1 1 2 1 1 0 0 1 0
3 1 0 1 1 0 0 3 1 0 1 1 0 1
4 1 0 0 1 0 1 4 1 0 0 1 0 0
5 0 1 1 0 0 0 5 0 1 1 1 1 0
6 0 1 0 1 0 0 6 0 1 0 0 1 0
7 0 0 1 1 0 0 7 0 0 1 1 1 0
8 0 0 0 1 0 0 8 0 0 0 1 1 0
∃ ∃ ∃ ∀ ∀ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => R Q => P P^R P Q R Q => ~R P => Q P ^ ~R
9 1 1 1 1 1 1 1 21 1 1 1 1 0 1 0
2 1 1 0 0 1 0 2 1 1 0 1 1 1
3 1 0 1 1 1 1 3 1 0 1 1 0 0
4 1 0 0 1 1 0 4 1 0 0 1 0 1
5 0 1 1 1 0 0 5 0 1 1 0 1 0
6 0 1 0 0 0 0 6 0 1 0 1 1 0
7 0 0 1 1 1 0 7 0 0 1 1 1 0
8 0 0 0 1 1 0 8 0 0 0 1 1 0
∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => R Q^P P^R P Q R R => Q P => ~Q P ^ ~R
10 1 1 1 1 1 1 1 22 1 1 1 1 1 0 0
2 1 1 0 0 1 0 2 1 1 0 1 0 1
3 1 0 1 1 0 1 3 1 0 1 0 1 0
4 1 0 0 1 0 0 4 1 0 0 1 1 1
5 0 1 1 1 0 0 5 0 1 1 1 1 0
6 0 1 0 0 0 0 6 0 1 0 1 1 0
7 0 0 1 1 0 0 7 0 0 1 0 1 0
8 0 0 0 1 0 0 8 0 0 0 1 1 0
∃ ∃ ∃ ∃ ∀ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q^R Q => P P^R P Q R R => ~Q P => Q P ^ ~R
11 1 1 1 1 1 1 1 23 1 1 1 1 0 1 0
2 1 1 0 0 1 0 2 1 1 0 1 1 1
3 1 0 1 0 1 1 3 1 0 1 1 0 0
4 1 0 0 0 1 0 4 1 0 0 1 0 1
5 0 1 1 1 0 0 5 0 1 1 0 1 0
6 0 1 0 0 0 0 6 0 1 0 1 1 0
7 0 0 1 0 1 0 7 0 0 1 1 1 0
8 0 0 0 0 1 0 8 0 0 0 1 1 0
∃ ∃ ∃ ∀ ∀ ∃ ∃ ∃ ∃ ∀ ∀ ∃
P Q R Q => ~R Q => P P ^ ~R P Q R R => Q Q => ~P P => ~R
12 1 1 1 1 0 1 0 24 1 1 1 1 1 0 0
2 1 1 0 1 1 1 2 1 1 0 1 0 1
3 1 0 1 1 1 0 3 1 0 1 0 1 0
4 1 0 0 1 1 1 4 1 0 0 1 1 1
5 0 1 1 0 0 0 5 0 1 1 1 1 1
6 0 1 0 1 0 0 6 0 1 0 1 1 1
7 0 0 1 1 1 0 7 0 0 1 0 1 1
8 0 0 0 1 1 0 8 0 0 0 1 1 1
You might also like
- E D Hirsch Validity in InterpretationDocument296 pagesE D Hirsch Validity in Interpretationramon.alumno100% (4)
- Introducing Translation Studies - Chapter 1Document11 pagesIntroducing Translation Studies - Chapter 1Ayşenur YazganNo ratings yet
- Schaffner NormsDocument9 pagesSchaffner NormsMehmet OnurNo ratings yet
- Book 1Document4 pagesBook 1natanaelputerarasjid22No ratings yet
- HelperDocument64 pagesHelperCarmela Tuquib RebundasNo ratings yet
- Instructions For Using Pugh Matrix TemplateDocument2 pagesInstructions For Using Pugh Matrix TemplateTanishq AroraNo ratings yet
- Gerrymandering VisualsDocument36 pagesGerrymandering Visualsc.No ratings yet
- Det Loop 1Document16 pagesDet Loop 1Juan carlos Sotelo merazNo ratings yet
- Copia de ExportDataToSpreadsheetDocument4 pagesCopia de ExportDataToSpreadsheetjrojasferrerNo ratings yet
- L1 Mod Centro MayorDocument16 pagesL1 Mod Centro MayorOrlando SantofimioNo ratings yet
- Basedatos NFS320 SQM Se 5870Document8 pagesBasedatos NFS320 SQM Se 5870ماكسيمو ماثيو مونيوزNo ratings yet
- 5JUECESDocument3 pages5JUECESluis angel lugo loraNo ratings yet
- PiBot TB6600 Stepper Driver SCHDocument1 pagePiBot TB6600 Stepper Driver SCHAlfredo Forton PeñaNo ratings yet
- Covolume: Pac101 Pac102 Pac101 Pac102Document2 pagesCovolume: Pac101 Pac102 Pac101 Pac102No YêuNo ratings yet
- Session 8Document13 pagesSession 8aman.1640022No ratings yet
- Table: List of VariablesDocument10 pagesTable: List of VariablesLuis Eduardo Mella GomezNo ratings yet
- Resultados Modelo Ampl29Document301 pagesResultados Modelo Ampl29JEAN CARLOS GUAPACHA FLOREZNo ratings yet
- LAT2 - Prak2 - SM - 22552012012 - Ramadhan Ginanjar Nur Sidiq - TIF K - 20 (Kelas Konversi)Document8 pagesLAT2 - Prak2 - SM - 22552012012 - Ramadhan Ginanjar Nur Sidiq - TIF K - 20 (Kelas Konversi)Salma DiyanahNo ratings yet
- Merged FileDocument180 pagesMerged FileBelal SalahNo ratings yet
- RC Persian KittenDocument1 pageRC Persian KittenDEXTER GARRIDONo ratings yet
- Location and Inventory Area Location Week1 Day1 Week 2 Day 2 Week 3 Day 3 Week 4 Day 4 InventoryDocument1 pageLocation and Inventory Area Location Week1 Day1 Week 2 Day 2 Week 3 Day 3 Week 4 Day 4 InventorySam HamNo ratings yet
- CAFÉDocument158 pagesCAFÉRafaeMrlNo ratings yet
- OK 0 True OK 0 True OK 0 True OK 0 OK 0 OK 0 OK 0 OK 0 OK 0 OK OK OK OK OK OK OK OK OK 0 0 0 0 0 0 0 0 0Document40 pagesOK 0 True OK 0 True OK 0 True OK 0 OK 0 OK 0 OK 0 OK 0 OK 0 OK OK OK OK OK OK OK OK OK 0 0 0 0 0 0 0 0 0arunsjainNo ratings yet
- Boolean Function Practice 3305Document3 pagesBoolean Function Practice 3305khadywadeseyeNo ratings yet
- EduKit Ez430 SpecDocument5 pagesEduKit Ez430 SpecSantiMoranLabatNo ratings yet
- QoS Audit & Channels DownDocument18 pagesQoS Audit & Channels DownYacoubaNo ratings yet
- Body Parts Hidden PictureDocument16 pagesBody Parts Hidden PictureVherlyn Delos ReyesNo ratings yet
- Pivr01 Pivr02 Pivr03 Pivr02 Pivr01 Pivr03: Nlpuente1 Nlpuente2 Nlpuente3 Nlpuente4Document2 pagesPivr01 Pivr02 Pivr03 Pivr02 Pivr01 Pivr03: Nlpuente1 Nlpuente2 Nlpuente3 Nlpuente4Antonio Zapata Mendoza100% (2)
- Absen Anak GBUDocument7 pagesAbsen Anak GBUMarFein WehiNo ratings yet
- For Both Your Sentences (OriginalDocument5 pagesFor Both Your Sentences (OriginalFELIX KIPRONONo ratings yet
- Amg Motorctrl 4 SchematicDocument1 pageAmg Motorctrl 4 Schematickasparov001No ratings yet
- Implant Dentistry 2002 Answer Sheet: Application For Continuing Education CreditDocument4 pagesImplant Dentistry 2002 Answer Sheet: Application For Continuing Education Creditalkhalijia dentalNo ratings yet
- Tracing Letters&NumbersDocument20 pagesTracing Letters&NumbersJOEFRAN ENRIQUEZNo ratings yet
- No Nama Jenis Kelamin Usia Masa Kerja Msds Posisi KerjaDocument19 pagesNo Nama Jenis Kelamin Usia Masa Kerja Msds Posisi Kerjanindy KNo ratings yet
- ExcellDocument16 pagesExcellAnh ĐặngNo ratings yet
- Template 2023 Q4 Incentive Program StatisticsDocument10 pagesTemplate 2023 Q4 Incentive Program StatisticsdaerelNo ratings yet
- Figuritas MundialDocument2 pagesFiguritas MundialMikel ZaldoNo ratings yet
- Επαφή (Res.partner)Document14 pagesΕπαφή (Res.partner)Kejdi AgolliNo ratings yet
- No - Seri Nama Tipe Tiket NominalDocument18 pagesNo - Seri Nama Tipe Tiket NominalCindy MaharaniNo ratings yet
- Arduino Shield SIM900 (A) SchematicDocument1 pageArduino Shield SIM900 (A) SchematicSơn TràNo ratings yet
- Numbers Numbers Numbers NumbersDocument4 pagesNumbers Numbers Numbers NumbersCristina PalmeiroNo ratings yet
- AaBbCc BiDocument70 pagesAaBbCc BiFarah IbaNo ratings yet
- Ethernet W5300Document2 pagesEthernet W5300ariahope100% (1)
- Sabana de Notas Primer PeriodoDocument1 pageSabana de Notas Primer Periodojose mauricio saavedra nietoNo ratings yet
- Lju BW2Document1 pageLju BW2Fajar HariadiNo ratings yet
- Test PDocument2 pagesTest PNatalia Bustos ToalongoNo ratings yet
- 1 20 Number BookDocument42 pages1 20 Number BookMark MatthewNo ratings yet
- Maths 2Document4 pagesMaths 2Divya Darshini SaravananNo ratings yet
- Eutranfreqrelation Ericsson4g3gpp 20200204195643637 138 72Document11 pagesEutranfreqrelation Ericsson4g3gpp 20200204195643637 138 72Ilton FláviaNo ratings yet
- Papeleta ProfessorDocument1 pagePapeleta ProfessorPaulo Lóssio CorrêaNo ratings yet
- PHBM WidyaDocument25 pagesPHBM Widyaardhi ardhiyaNo ratings yet
- HK Billing Attendance Feb-March 2021Document7 pagesHK Billing Attendance Feb-March 2021SudharshanNo ratings yet
- Coupons - Consolidated-1-2 PDFDocument2 pagesCoupons - Consolidated-1-2 PDFRapportNo ratings yet
- Coupons - Consolidated-1-2-3 PDFDocument2 pagesCoupons - Consolidated-1-2-3 PDFRapportNo ratings yet
- Niccoló Paganini: Caprice For String Ensemble - Caprice Für StreicherensembleDocument2 pagesNiccoló Paganini: Caprice For String Ensemble - Caprice Für StreicherensembleRatsimarMusikverlagNo ratings yet
- Alapan DHTKDocument189 pagesAlapan DHTKmhcarbonelNo ratings yet
- TabbingDocument1 pageTabbingAngela RuleteNo ratings yet
- Accounting ReportDocument4 pagesAccounting ReportAshmond KassaNo ratings yet
- Borang Ping PongDocument1 pageBorang Ping PongMohamad Redzwan100% (2)
- Isi Kamus FullDocument146 pagesIsi Kamus FullDiah100% (1)
- Ent.A Ent.B Ent.C Ent.D Ent.F Ent.FDocument6 pagesEnt.A Ent.B Ent.C Ent.D Ent.F Ent.FBrian OrtizNo ratings yet
- MTKPM X Ipa 1Document3 pagesMTKPM X Ipa 1Gun P LemaNo ratings yet
- Theme 6. Adjective: Degrees of ComparisonDocument5 pagesTheme 6. Adjective: Degrees of ComparisonAlla KulynychNo ratings yet
- Theorizing About Translation StudiesDocument32 pagesTheorizing About Translation Studiesmleconte100% (1)
- Metaphor and The Main Problem o - Paul RicoeurDocument17 pagesMetaphor and The Main Problem o - Paul RicoeurMarcelaNo ratings yet
- Routledge Encyclopedia of Translation Studies 2nd Ed. by Mona Baker Gabriela SaldanhaDocument6 pagesRoutledge Encyclopedia of Translation Studies 2nd Ed. by Mona Baker Gabriela Saldanhamaglit777No ratings yet
- Anaphora SemanticDocument15 pagesAnaphora SemanticRisma IndrasariNo ratings yet
- Compositional Semantics Putting Meanings Together Narrative (Report)Document6 pagesCompositional Semantics Putting Meanings Together Narrative (Report)Ianne GuillermoNo ratings yet
- Topic: Idioms Ii. Body 1. Using An Idiom or Fixed Expression of Similar Meaning and Form (Hoa) - Source: Mona Baker (1992:76)Document2 pagesTopic: Idioms Ii. Body 1. Using An Idiom or Fixed Expression of Similar Meaning and Form (Hoa) - Source: Mona Baker (1992:76)Vũ Ánh TuyếtNo ratings yet
- Post StructuralismDocument26 pagesPost StructuralismnatitvzandtNo ratings yet
- Discrete Mathematics: (COMP2121B)Document20 pagesDiscrete Mathematics: (COMP2121B)Brandon TayNo ratings yet
- Lehmann Pred ClassesDocument57 pagesLehmann Pred ClassesArmela PanajotiNo ratings yet
- Translation Methods Vs Translation TechniquesDocument5 pagesTranslation Methods Vs Translation TechniquesSulfadli aliNo ratings yet
- Logical Connectives Truth Values: True T False FDocument11 pagesLogical Connectives Truth Values: True T False FBenson LagasonNo ratings yet
- Summary of Quantum Field Theory: 1 What Is QFT?Document4 pagesSummary of Quantum Field Theory: 1 What Is QFT?shivsagardharamNo ratings yet
- Analogy Section2Document12 pagesAnalogy Section2mecitfuturedreamsNo ratings yet
- W2 Weekly Home Learning Plan Week 2 Grade 5Document10 pagesW2 Weekly Home Learning Plan Week 2 Grade 5Roland CamposNo ratings yet
- Engineering Mechanics (Statics) by Meriam (Two Chapters)Document74 pagesEngineering Mechanics (Statics) by Meriam (Two Chapters)AbdulNo ratings yet
- Reader Response TheoryDocument6 pagesReader Response TheoryKaren Ramos100% (2)
- Heidegger and The Hermeneutic Turn of PhilosophyDocument16 pagesHeidegger and The Hermeneutic Turn of PhilosophyRichard RodriguezNo ratings yet
- Materi Vocab IntermediateDocument34 pagesMateri Vocab IntermediatepandemonsterNo ratings yet
- Anexo 1 - Task 2 - English Is Easy and Fun Writing TaskDocument16 pagesAnexo 1 - Task 2 - English Is Easy and Fun Writing Taskvalentina usecheNo ratings yet
- Translation As An ArtDocument24 pagesTranslation As An ArtAzhar KumbangNo ratings yet
- O Texto Oral - Questões EspecificasDocument4 pagesO Texto Oral - Questões Especificas00041xyzNo ratings yet
- Fopkj: BrillsDocument5 pagesFopkj: BrillsRaj YadavNo ratings yet
- The Problem of EquivalenceDocument13 pagesThe Problem of Equivalenceminhtrang19360% (5)
- According To The Book "Beginning Theory" by Peter BarryDocument9 pagesAccording To The Book "Beginning Theory" by Peter BarryMaisya NovianaNo ratings yet
- Compential Analysis of MeaningDocument16 pagesCompential Analysis of MeaningMary MughalNo ratings yet
- Online Dictionary of Arabic Philosophical TermsDocument762 pagesOnline Dictionary of Arabic Philosophical TermsGiovanniM.Carrera100% (1)
