Tema 02 Lógica condicional
Concepto:

La lógica condicional estudia las formas del pensamiento desde el punto de vista de su estructura es decir analiza las relaciones entre las proposiciones o enunciados y no el contenido de estas. En particular se analiza la veracidad o falsedad de un razonamiento.

Los razonamientos lógicos se utilizan en áreas como matemáticas para demostrar teoremas derecho para dar argumentos legales que demuestren la culpabilidad o inocencia de una persona, en la vida cotidiana para explicar las razones de por qué llegamos tarde porque reprobamos por que aprobamos en computación para demostrar que los programas hacen lo que deberían hacer lo que queremos que hagan en general se usan para cualquier hecho que …ver más…

l valor de verdad de la conjunción de 2 proposiciones en la siguiente tabla de verdad

P | Q | p^q | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 |

Conjunción
Proposición R: El basic es un lenguaje de programación S: El pascal es un lenguaje de programación

El basic es un lenguaje de programación Y el pascal es un lenguaje de programación

El basic es un lenguaje de programación aunque el pascal es un lenguaje de programación ^

Disyunción inclusiva
Se forma de las preposiciones P y Q y usando la palabra de enlace “o” y es la relación que se establece entre dos proposiciones indicando al menos una de ellas es verdadera aunque puede ocurrir que sean ambas y se denotan” P v Q” y se lee P o Q:

En la siguiente tabla se resume el valor de verdad de las 2 proposiciones

P | Q | Pvq | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |

4 par o 4 impar = V

J, 4 es par V
K,4 es impar F
L, 4 es primo F

No es cierto que 4 sea impar como primo

Implicación condicional
Se denota por “P” “Q” y se lee P entonces Q se forma usando las palabras de enlace siguiente P si solo si Q cuando P Q P es una condición suficiente para Q no Q al menos que P, P por lo tanto