Você está na página 1de 481

Silogismo ( pois somente duas proposições gera uma conclusão).

Não vale para todos os números naturais


Regra para negar uma sentença quantificada:
nega o quatificador e conserva a senteça

ou

troca o quantificador e nega a. sentença


~q

~p
*
?
_

Estou aqui

V-E+R=2
6-9+R=2
R=5

V-E+R=2
5 - 10 + R = 2
R = 7, mas neste caso tem 11 regiões.
Dijkstra