Buscar

APS AV1 No 2 - Log Mat (12 a 16-09-22) (Turma 142)

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