Scribd
Cargar
94 vistas8 páginas

Ejercicios de Lógica Proposicional

El documento resume los conceptos básicos de la lógica proposicional, incluyendo la negación, conjunción, disyunción, condicional y sus tablas de verdad correspondientes. Explica que la negación de una proposición p es "no p", la conjunción de p y q es "p y q", la disyunción es "p o q", y el condicional de p y q es "si p entonces q". Además, describe cómo evaluar una fórmula lógica basada en los valores de verdad en su tabla.

Cargado por

Cristhian Granados Flores
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
94 vistas8 páginas

Ejercicios de Lógica Proposicional

El documento resume los conceptos básicos de la lógica proposicional, incluyendo la negación, conjunción, disyunción, condicional y sus tablas de verdad correspondientes. Explica que la negación de una proposición p es "no p", la conjunción de p y q es "p y q", la disyunción es "p o q", y el condicional de p y q es "si p entonces q". Además, describe cómo evaluar una fórmula lógica basada en los valores de verdad en su tabla.

Cargado por

Cristhian Granados Flores
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

EJERCICIOS

Negación
Dada una proposición p, se llama negación de p a la
proposición “no p” que se representa por p

• Ejemplo : TABLA DE VERDAD

Dado p : “el hombre es “Si p es verdadera  p


es falsa; si p es falsa , p
mortal” es verdadera”
Podemos decir:
p: “no es cierto que el p p
hombre es mortal”
Lo que equivale a decir : V F
p : “el hombre no es
mortal” F V
Conjunción
Dadas las proposiciones p y q , se llama conjunción de
p y q a la proposicion “p y q” representada por p  q

TABLA DE VERDAD
• Ejemplo :
“p  q es verdadera si p y q
Si p : “2 es mayor que 5” son verdaderas
y q : “todo número simultáneamente”
impar es primo”, p q pq
Entonces:
p  q : “2 es mayor que V V V
5 y todo número V F F
impar es primo” F V F
F F F
Disyunción
Dadas las proposiciones p y q , se llama disyunción de p y q a
la proposición “p o q” que se representa por p  q.

• Ejemplo :
TABLA DE VERDAD
Si p : “hace frío en invierno” “p  q es verdadera si p es
y q : “Napoleón invadió Rusia” verdadera o q es verdadera”
Entonces :
p  q : “Hace frío en invierno o
Napoleón invadió Rusia” p q p q
V V V
V F V
F V V
F F F
Condicional
Se llama condicional de p y q a la proposición “si p
entonces q” y se representa por “p  q “ , p se llama
antecedente y q consecuente del condicional p  q

TABLA DE VERDAD
• Ejemplo: p  q es verdadera si p es
Si p : “2 es número primo” falsa o q es verdadera “
y q : “5 es menor que 4”
Entonces: p q pq
p  q: “si 2 es número V V V
primo entonces 5 es V F F
menor que 4” F V V
F F V
Condicional o Implicación
Se lee:
Si P entonces Q

PQ
P implica Q

P es suficiente para Q

P sólo si Q

Q si P

Q siempre que P

Q es necesario para P
EVALUACION de una
FORMULA LOGICA
• La característica tabular de una fórmula lógica es
la columna de valores de verdad debajo del
operador de mayor jerarquía. Esta columna puede
presentar los siguientes casos:

1. Cuando todos los valores de verdad son verdaderos,


el esquema es una TAUTOLOGÍA.

2. Cuando todos los valores de verdad son falsos, el


esquema es una CONTRADICCIÓN.

3. Cuando algunos valores de verdad son verdaderos y


otros falsos el esquema es una CONTINGENCIA.

También podría gustarte