Page 2 - Lógica Proposicional

Unidad #1
Lógica matemática

Introducción……………………………………………………………………………… 2

1.1 Proposiciones………………………………………………………………………… 3
Proposición……………………............................................................................. 3
Valor de verdad………………………………………………………………………… 3
Tabla de verdad………………………………………………………………………… 4

1.2 Conectores Lógicos……………………………………………………………………4
Negación……………………………………………………………………………….. 4
Conjunción………………………………………………………………………………4
Disyunción………………………………………………………………………………5
Disyunción exclusiva…………………………………………………………………..5
Condicional……………………………………………………………………………..6
Bicondicional……………………………………………………………………………6
Recíproca, inversa, contrareciproca…………………………………………………...7
Condiciones necesarias y suficientes………………………………………………….7

1.3 Formas Proposicionales………………………………………………………………8
Traducción de lenguaje normal al simbólico………………………………………….8
Formas proposicionales………………………………………………………………..8
Tautología………………………………………………………………………………..8
Contradicción, contingencia…………………………………………………………….8
Implicación lógica……………………………………………………………………….9
Equivalencia lógica……………………………………………………………………..9

1.4 Propiedades de los operadores lógicos………………………………………… 9
Leyes de los operadores fundamentales conjunción y Disyunción……………….9
Leyes de los operadores Negación, condicional Y bicondicional………………...9

1.5 Razonamientos………………………………………………………………………..10
Razonamiento…………………………………………………………………………..10

1.6 Demostraciones……………………………………………………………………….10
Demostración por reducción a lo absurdo…………………………………………...10