A lógica proposicional é um sistema formal que utiliza fórmulas bem formadas para representar proposições

formadas de proposições atômicas e conectivos lógicos. Tais fórmulas podem ser derivadas. A implicação lógica (representada utilizando o símbolo ¿) pode ser entendida como "se proposição 1, então proposição 2". Considere a proposição s ¿ (p ^ ¬r).

RESPONDER

Yagolds está aguardando sua ajuda, Clique aqui para responder.