Catamarca

Lógica proposicional

Lógica proposicional
De Wikillerato
Saltar a navegación, búsqueda
Una de las razones que motivó la aparición de la lógica matemática, fue evitar la ambigüedad del lenguaje natural y transformar el pensamiento en un cálculo, según el modo de operar de las matemáticas. Simplificar o simbolizar las oraciones o juicios para poder operar con ellas, así surge el lenguajeformal.

|Tabla de contenidos |
|[ocultar] |
|1 Lenguaje formal |
|2 Valores de verdad|
|2.1 Proposición conjuntiva |
|2.2 Proposición disyuntiva inclusiva |
|2.3 Proposición disyuntiva exclusiva |
|2.4 Proposición condicional|
|2.5 Proposición bicondicional |
|2.6 Proposición negativa |
|3 Proposiciones atómicas y moleculares. Las tablas de verdad ó tablas veritativas |
|4 Leyeslógicas |
|4.1 Idempotencia |
|4.2 Asociativa |
|4.3 Conmutativa|
|4.4 Identidad |
|4.5 Absorción |
|4.6 Distributiva |
|4.7 De Morgan|
|4.8 Doble negación |
|4.9 Regla de sustitución |
|5 Ejercicios |
|5.1 Ejercicio 1|
|5.2 Ejercicio 2 |
|5.3 Ejercicio 3 |
|5.4 Ejercicio 4 |
|6El razonamiento o inferencia |
|6.1 Modus ponendo ponens o modus ponens |
|6.2 Modus tollendo ponens |
|6.3 Modus tollendo tollens|
|6.4 Ley conjuntiva |
|6.5 Ley simplificativa |
|6.6 Ley aditiva |
|6.7 Silogismo condicional o ley transitiva...