Exercicis de cadenes deductives. Posa la regla i les premisses en cada pas.

Demostra u /\ w

Demostra n

Demostra p

•  n --> (u /\ w)

•  p /\ q

•  m --> t

•  q --> s

•  (r /\ s) --> ¬ t

•  m \/ n

•  p --> r

.................................................

•  p

•  r

•  q

•  s

•  r /\ s

•  ¬ t

•  ¬ m

•  n

•  u /\ w

•  p /\ q

•  p --> (m \/ n)

•  q --> ( ¬ m /\ r)

..........................................................

•  p

•  m \/ n

•  q

•  ¬m /\ r

•  ¬ m

•  n

•  (m /\ n) --> p

•  m \/ r

•  ¬ n --> t

•  ( ¬r /\ ¬ t)

........................................................

•  ¬ r

•  m

•  ¬ t

• ¬¬ n

•  n

•  m /\ n

•  p

Exercici 1: ¬t, n-->s, s-->t, (¬p \/ q)--> n, ...... demostra ¬(¬p\/q) amb MT

Exercici 2: ¬s\/t, ¬q\/¬r, m \/s, ¬t \/q, ¬¬r .... demostra m (amb SD)

Exercici 3: ¬s, ¬q-->¬r, r \/ s, ¬¬q -->(m\/n) .... demostra m\/n (amb SD,MP,MT)

Exercici 4: s\/m, s-->q, w-->¬r, ¬m, q-->r, w \/ t, t-->n ... demostra n (amb SD,MP,MT)

torna a índex