CON

Conectivos

OPE

Operações lógicas com proposições

NEG

Negação

CON

Conjunção

DIS

Disjunção

CON

Condicional

BIC

Bicondicional

DES

Desafios

CAL

Cálculo proposicional