tabla de verdad
tautología
teorema