regra inferencia lógica

Regras de Inferência

[caption id="attachment_1811" align="alignnone" width="571"] regra inferencia lógica[caption] http:www.decom.cefetmg.brdocentescesarclassesmdaula6.pdf ftp:ftp.dca.fee.unicamp.brpubdocsvonzubenea072_2s06notas_de_aulalog_prop.pdf http:osofista.wordpress.com20090427regras-de-inferencia http:www.y...

Tabela verdade

12. Tabela-Verdade de uma proposição composta Exemplo Veja como se procede a construção de uma tabela-verdade da proposição composta P(p, q) = ((p ⋁ q) → (~p)) → (p ⋀ q), onde p e q são duas proposições simples. Resolução Uma tabela-verdade de uma proposição do tipo P(p, q...