09.06.2013 Views

q - Cetecnet

q - Cetecnet

q - Cetecnet

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!