Proposition -> Declarative sentence. Either 7 or F.

Operators a ↑ T

v F F F

T
⑦ F
F
F

(if... then) -> # -F

F
I

Citt only it - T
4

23 8 P 9 5
(on-r)(p-c)<(on-r)
us
(0-2)
=

T T T F ↑ F F

T T F T T T T

T =T F F T

T F FT # T F
T

F T F +

F F
T
F F T # F

F T
T

F F # #

I F
F T T F F

1 -

(vT -

T) [F+
(F VF)]- >
[( nT) 77
F +

+
(F
- ->
7) + 2xT

↑ P q -

7 -
> T T #

->
((T+T)n y +
=
(FvF)

i +

n 1zF7
+

Tz- F

=
 m ->
evp

p 9
-

aa - p

# p -

va - u
p

P *

P hi
15 x

⑮ Althoug D
D
falv *

P
*
↑ X

does noth ave

- -

->

I not 40

not

up -> did buy

not

~Pva didn'tbuy or won

p- I
n i
If
boy then won

pra bought& won

peec
bought if only of
p->va if not them notwin
by
~

~Pdna
notbuy not con

Or(Pnra) and
~
didn't buy or [Aguy wow

22:4
4
2 16
=

- ⑨ ~ ~ -
16 64
=

24
-
15
· ~
=
 2"8 =

P a 2
19 P( 9(r) p9 r ~p a r up (q v)
vaVv -
- -> -> -

↑
T T #
⑨
↑ T T ⑰ I T ↑

↑ T F I F F ↑ TF # T
I
T T ↑ T T T ↑
↑
=
↑
=
F
T =
F T T ↑ T F F T T
F
T
I T + # T ↑ I T

↑ T T

iF F F F # #
I I TF

F # ↑ T T T F # ↑ T ↑ T

F I T
F T
T F I F T
+
T

P 9 r
~p (P ->
9)( p-r) -
N
pauup(p ->
9)( p-r)(V)
-
T T
+ T T T

T T T
I T ↑ T T
- F F ↑ ↑ T

- F F ↑ F T
↑ ↑ #
T

T T F #

TF T T T F
T

F # F
F
T
# F
F T ↑
F T+
+

T T F T ↑
F

+T ↑ T
F T T T
F T
F
# F
T
T F T
T
FF
# T F T T T
+

F F T T T ↑ F F F T
4

F I
T

F FF T T F T

p aruq (p(a)(va+ r) V P av vpuq (

-
ptx =a) (96r) c
-

F T F ↑ T T I F 4 T T
T
+

T T

↑ T - F F
- F I T T I T F F
T

T F FT #
T

T
F ↑ # T T # T
T

F
F T I I F T F
F T
=
# T #
T

TF F I +T I F
T
T

F F F T

F F F
T

F T F
#
+
F
T

=
↑
F #
T
+

F F
+

T T T T F F ↑ T
# #
T
F FF ↑ T F ↑ F FF ↑ T N #