Está en la página 1de 2

● Lenguaje∙

Lenguaje Natural¬
Lenguaje Formal¬

● Lógica Proposicional∙
NO (símbolo, compuerta lógica, comportamiento lógico y tabla)
Y (símbolo, compuerta lógica, comportamiento lógico y tabla)
O(símbolo, compuerta lógica, comportamiento lógico y tabla)
EXOR (símbolo, compuerta lógica, comportamiento lógico y tabla)
ENTONCES (símbolo, compuerta lógica, comportamiento lógico y tabla)
Variaciones del condicional⎫
SI SOLO SI (símbolo, compuerta lógica, comportamiento lógico y tabla)
Parentización.¬
Tablas de Verdad¬
Conjunto Adecuado de conectivos¬

Circuitos Eléctricos¬
Circuito Electrónico¬

● Leyes del algebra de proposiciones¬


Idempotencia
Identidad
Complemento
Doble negación
Asociativa
Conmutativa
De Morgan
Absorción
Distributiva
Transitiva

● Principios Lógicos∙
Identidad¬
No contradicción¬
Tercero Excluido¬
Equivalencia e implicancia lógica∙
Clases de Proposiciones∙
Tautología:¬
Trivial∙
Doble Negación∙
Contra recíproca∙
Contradicción¬
Contingencia¬
Inferencia Lógica∙

● Reglas de Inferencia¬
Modus Ponen Razonamiento Directo
Modus Tollens Razonamiento Indirecto
Silogismo disyuntivo inclusivo
Silogismo disyuntivo exclusivo
Silogismo hipotético.
Falacias Formales¬
Afirmación del Consecuente
Negación del Antecedente

También podría gustarte