F V F V F F F V

V F V F F

F V F

F F F V F F F F

F F

V V V F

( ) ^( ) l-

F V V V F

F V F

EL ARGUMENTO ES VALIDO

[ ] ^[ ] l- [ ]

V V F F V F F

V F V F

F V F

EL ARGUMENTO ES VALIDO

[ ] ^[ ]^( ) l-

F F F F F F F F F

F F F F

F V V F

EL ARGUMENTO ES VALIDO

( )^ ( )^( ) l- ( )

V V V F F F V F

V F V F
EL ARGUMENTO ES VALIDO

( )^ ( )^( ) l- ( )

F F F V V V F V

V F V F

EL ARGUMENTO ES VALIDO
 p ^ (q ˅ ˜p)

p^q

p q

(p ^ q) ˅ [ (˜p ˅ r) ^ ˜q]

[(p ^ q) ˅ (˜p ˅ r)] ^ [˜ q ˅ (q ^ p) ]

[(p ^ q) ˅ (˜p ˅ r)] ^ ( ˜q v p)

[(˜p ˅ r ˅ p) ^ (˜p ˅ r ˅ q)] ^ ( ˜q v p)

[(V ˅ r )^ (˜p ˅ r ˅ q)] ^ ( ˜q v p)

[ V ^ (˜p ˅ r ˅ q)] ^ ( ˜q v p)

(˜p ˅ r ˅ q) ^ ( ˜q v p)

[(q ˅ ˜p) ˅ r ) ]^ ( ˜q v p)

[( ˜q v p) ˅(q ˅ ˜p)] ^[( ˜q v p) ˅ r]

V ^[( ˜q v p) ˅ r]

r ˅ ( ˜q v p)

˜q

p
 [(˜p ^ ˜q) ˅ (p ˅ q) ] ^ { [q ^ ( ˜r ˅ ˜p) ] ˅ p }

[(˜p ^ ˜q) ˅ ˜ (˜p ^ ˜q) ] ^ { [q ^ ( ˜r ˅ ˜p) ] ˅ p }

V ^ { [q ^ ( ˜r ˅ ˜p) ] ˅ p }

V^ S

S= [q ^ ( ˜r ˅ ˜p) ] ˅ p

(p ˅q) ^ (p ˅ ˜p ˅ ˜r)

(p ˅q) ^ (V ˅ ˜r)

(p ˅ q) ^ V

(p ˅ q)

( ˜p ^ ˜q ) ˅ [p ^ ( ˜p ˅ q ) ]

( ˜p ^ ˜q ) ˅ ( p ^ q )

p q

p q Ξ (p ^q) ˅ (˜p ^ ˜q)

p q

˜p ˜q
p: Londres

q: dinamarca

r: parís

s: Francia

[ (P ˅˜q R ˅ ˜s )]^ (r ˅s ) l - p ˅q

F V V F V F F F

V V V

V V F

El argumento no es valido

( )^( )^( ) l- ( )

V F F V V V V F

F V V V F

El argumento es valido
[(˜p ^˜q) ˅ (p ˅ q)] ^ {(p ^ q) ˅ [(˜p^˜q) ˅ p ] }^ p

[(˜p ^˜q) ˅ (p ˅ q)] ^ {(p ^ q) ˅( p ˅ ˜q)} ^ p

V^ {(p ^ q) ˅( p ˅ ˜q)} ^ p

(p ^ q) ˅( p ˅ ˜q) ^ p

[( p ˅ ˜q ˅ p)^ ( p ˅ ˜q ˅ q)] ^ p

[ (p ˅ ˜q) ^ (v ˅ p) ] ^ p

[(p ˅ ˜q) ^V]^ p

p ˅ ˜q^ p

p ˅ ˜q

˜q
[(r˅s) ˅ (˜r ˅ ˜s) ^˜ s] ˅ [r ^ (p˅˜r)]

(V ^˜ s) ˅ [r ^ (p˅˜r)]

˜s ˅ [r ^ (˜r ˅ p)]

˜s ˅ r ^ p