1. Operadores lógicos: or, and, not, xor, etc.
2. Proposiciones: verdadero, falso, etc.
3. Predicados: A es B, C es mayor que D, etc.
4. Tautologías: A V ~A, ~(A ^ B) V (A V B) etc.
5. Implicación lógica: A->B, Si A entonces B, etc.
6. Equivalencia lógica: (A->B) <-> (~B->~A), etc.
7. Siguientes condiciones lógicas: A Y B son verdaderas, A implica B, etc.
8. Leyes de la lógica: ley de De Morgan, ley de a bises, etc.
9. Reglas de inferencia: modus ponens, regla de la silogística disyuntiva, etc.
10. Razonamiento: deducción, inducción, abducción, etc.
10 Ejemplos De Lógica Formal