Prévia do material em texto
Lógica Matemática 2022/2 Atividade Prática Supervisionada #2 AV1 (05 a 09/09/22) – Valor 1,0 pt. Defina, com as suas próprias palavras, os seguintes termos: a) Fórmula bem-formada (WFF) b) Tautologia c) Contradição d) Contingência e) Implicância tautológica f) Equivalência tautológica