q - Cetecnet
q - Cetecnet
q - Cetecnet
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
22<br />
AFIRMAÇÃO<br />
CONDICIONAL<br />
p q<br />
equivale a<br />
contrapositiva<br />
~q~p<br />
NEGAÇÃO DA CONDICIONAL<br />
Negar uma condicional é não cumprir o prometido.<br />
AFIRMAÇÃO<br />
p q<br />
Ocorre p e a promessa não é cumprida<br />
NEGAÇÃO DA NEGAÇÃO DA CONDICIONAL<br />
A negação de p ∧ ~ q é ~p v q<br />
NEGAÇÃO<br />
p ∧ ~q<br />
equivale<br />
~(pq)<br />
NEGAÇÃO<br />
p ∧ ~q<br />
EQUIVALÊNCIAS LÓGICAS<br />
NEGAÇÃO<br />
DA NEGAÇÃO<br />
~p v q<br />
~[~(pq)]<br />
~(p∧ ~q)<br />
pq ~q~p ~(p∧ ~q) ~pvq<br />
CONDICIONAL CONTRAPOSITIVA NEGAÇÃO DA NEGAÇÃO<br />
Professor José dos Santos Moreira