Tabelas de verdade (continuação)

9 Outubro 2018, 18:00 • Ricardo Santos

Lógica proposicional. O uso de tabelas de verdade como teste de equivalência lógica, como teste de consistência e como teste de validade dedutiva (ou de consequência lógica). Algumas equivalências notórias: as leis de De Morgan e as formas equivalentes à condicional material. Algumas formas típicas de inferência válida: silogismo disjuntivo, modus ponens, modus tollens, silogismo hipotético, contraposição.