Domanda | Risposta | |||
---|---|---|---|---|
p=>p
|
||||
pv(~p)
|
||||
~ (p∆~p)
|
||||
~(~p) <=> p
|
||||
~(p∆q) => (~p v ~q)
|
||||
~ (p v q) => (~p ∆ ~q)
|
||||
~ (p=>q) => (p => ~q)
|
||||
(p => q) <=> (~q => ~p)
|
||||
[(p =>q) ∆ p] => q
|
||||
[(p=>q) ∆ ~q ] => ~p
|
||||
[(p/q)∆ p] => ~q
|
||||
[(p v q) ∆ ~p] => q
|
||||
[(p => q) ∆ (q=>r)] => (p=>r)
|
||||
[(p∆q) =>r] => [p => (q =>r) ]
|
||||
[p => (q=>r) ] => [(p∆q) =>r]
|
||||
[(p=>q) ∆(r => q) ∆ (p v r)] => q
|