Please enable JavaScript.
Coggle requires JavaScript to display documents.
Aula 03 (Relação de Equivalencias (1-pVp = p, *pV~p=tautologia, 2-p^p = p,…
-
Expressões categoricas
TODO
todo p é q, porém, nem todo q é p
negação: algum não é, pelo menos um não é, existe pelo menos um que não é
ALGUM
se algum p é q, a reciproca é verdadeira
negação: nenhum é
NENHUM
quando nenhum p é q, a reciproca é verdadeira
negação: algum é, pelo meno um é, existe ao menos um que é