Lógica Proposicional - Ed. Física
Lógica Proposicional - Ed. Física
Lógica Proposicional - Ed. Física
LÓGICA PROPOSICIONAL
LÓGICA Es la ciencia que estudia la inferencia, estableciendo los principios y métodos que permitan
Es
LÓGICA PROPOSICIONAL : Es una parte de la lógica que tiene por objeto de estudio la proposición y la rela
función que tienen las variables proposicionales y los conectivos lógicos.
CONCEPTOS BÁSICOS:
ENUNCIADO: Es toda frase que expresamos en la vida cotidiana o mediante símbolos matemáticos.
PROPOSICIÓN: Es un enunciado cuya propiedad fundamental es la de ser verdadero (V) o falso (F); pero no
Una proposición se representa simbólicamente por letras minúsculas tales como: p; q; r; s; t;
proposicionales).
Ejemplos :
VALOR DE
PROPOSICIÓN VERDAD
𝑝:4^2+5>4+17 F
V
q: el número 2290 es divisible por 2
𝑠:√49+5=12
V
Nota:
* A la veracidad o falsedad de una proposición se le denomina valor veritatitvo o valor de verdad.
* Aquellos enunciados que indican una pregunta, una orden o una exclamación, son expresiones no pr
a) ¿Qué es la geometría?
b) ¡Hola qué tal!
* Los enunciados que usan las palabras "el", "ella" y los símbolos x, y, z. No tienen la propiedad de ser v
no son proposiciones.
y ⋀
o ⋁
NO ∼
Si …. entonces …... →
a) PROPOSICIÓN SIMPLE O ATÓMICA: Una proposición es simple o atómica si en ella no existe conectivo
Ejemplos:
* Perú es un país Europeo.
* 9 + 6 = 15
* El pentágono tiene siete lados.
Si se tiene n proposiciones simples y llamamos A al número de filas que resultan de todos los arreglos pos
proposiciones, entonces : 𝐴=2^𝑛
así que se tiene: n = número de proposiciones
LA CONJUNCIÓN : Dadas dos proposiciones p, q se le simboliza "p ⋀ q" y se lee " p y q"
p q p ⋀ q
Tener en cuenta que las palabras castella
V V V embargo", " no obstante" también puede
V F F conjuntivamente dos proposiciones.
F V F
F F F
LA DISYUNCIÓN INCLUSIVA: Dadas dos proposiciones p, q se le simboliza "p ⋁ q" y se lee " p o q"
p q p ∨ q
V V V
V F V
F V V
F F F
p ∼𝑝
V F
F V
p q p → q
V V V
V F F
F V V
F F V
p q p ↔ q
V V V
V F F
F V F
F F V
CONECTORES LÓGICOS:
TABLAS DE VERDAD
PRÁCTICA DIRIGIDA
1) Indica cuál de los siguientes enunciados son proposiciones: PUBLICAR SUS RESPUESTAS HAS
2) Elabora la tabla de verdad de la siguiente proposición, luego indica si es una tautología, contradicción o contingen
~(𝑝 ∆ 𝑞)↔ (~𝑞∧𝑝)
SOLUCIÓN
2^2=4
p q ~ (𝑝 ∆ 𝑞) ↔ (~ 𝑞 ∧ 𝑝)
V V V V F V F F F V
V F F V V F F V V V CONTINGENCIA
F V F F V V V F F F
F F V F F F F V F F
2 1 5 3 4
3) Elabora la tabla de verdad de la siguiente proposición, luego indica si es una tautología, contradicción o contingen
(𝑝→𝑟)→[(𝑝→𝑞)∧(𝑞→𝑟)]
SOLUCIÓN
p q r (𝑝 → 𝑟) → [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)]
4) Elabora la tabla de verdad de la siguiente proposición, luego indica si es una tautología, contradicción o contingen
~(𝑝→𝑞)↔{ [(𝑝↔~𝑞)∧(𝑝∨𝑞)]∧𝑝}
SOLUCIÓN
p q ~ (𝑝 → 𝑞) ↔{ [( 𝑝 ↔ ~𝑞) ∧ ( 𝑝 ∨ 𝑞)] ∧ 𝑝}
V V F V V V V V F F F V V V F V PUBLICAR EL AULA V
V F V V F F V V V V V V V F V V
F V F F V V V F V F V F V V F F
F F F F V F V F F V F F F F F F
2 1 8 4 3 6 5 7 TAUTOLOGÍA
5) Elabora la tabla de verdad de la siguiente proposición, luego indica si es una tautología, contradicción o contingen
[(𝑝∧𝑞)→𝑠]↔[(𝑝∧𝑞)→(𝑟→𝑠)]
[(𝑝∧𝑞)→𝑠]↔[(𝑝∧𝑞)→(𝑟→𝑠)]
SOLUCIÓN
p q r s [( 𝑝 ∨ 𝑞 ) → 𝑠] ∆ [(𝑝 ∧ ~ 𝑞) → ( 𝑟 → 𝑠)]
6) Elabora la tabla de verdad de la siguiente proposición, luego indica si es una tautología, contradicción o contingen
[( 𝑝 → 𝑞) ∧ (𝑞 → 𝑟)]→( 𝑝 → 𝑟)
SOLUCIÓN
p q r [( 𝑝 → 𝑞) ∧ (𝑞 → 𝑟)]→( 𝑝 → 𝑟)
7) Si se sabe que (𝑝∧~𝑟) es falsa, (𝑟→𝑞) es verdadera, (𝑞∨𝑡) es falsa, determina : (𝑞 ∆ ~𝑟) ∧( ~𝑝
SOLUCIÓN
SOLUCIÓN
( ) [(𝑝∨𝑞)△𝑟]∧𝑠
( ) 𝑟↔(𝑠∧𝑞)
( ) ( 𝑝∨𝑟)↔(~𝑟 ∆ 𝑠 )
10) Si la siguiente proposición: [(𝑝∧∼𝑟)↔(𝑠→𝑤)]→(~𝑤→𝑠) es falsa, determina el valor de verdad de
a) (5+1=6) ∨ (√36−3=2)
b) (2^3−2=6)→(−5+3=−1)
c) (5+1/2=11/2)↔(1^2+√64=9)
12) Halla el valor de verdad de cada proposición siguiente:
13) Si:
p: José es médico.
q: José es dentista.
r: Fidel es ingeniero.
14) Elabora la tabla de verdad de la siguiente proposición, luego indica si es una tautología, contradicción o contingen
(~𝑝→𝑞)→[(𝑝∧𝑞)∨(𝑞△𝑝)]
SOLUCIÓN
i)
p q (~𝑝 → 𝑞) →[(𝑝 ∧ 𝑞) ∨ (𝑞 △ 𝑝)]
1 2 6 3 5 4
x + 8 = 12
Hola bebé, en qué estas
e símbolos matemáticos.
P valor de verdad
E Vo F
P
E
P
EA
valores veritativos.
2^2=4 valores veritativos para cada proposición.
𝐴=2^𝑛= 2^3=8
tivos para cada proposición.
ee "No p" o " No es cierto que p" o "es falso que p" y es
proposición que niega que se cumpla p.
plicación es una proposición compuesta que se escribe
, " p implica q", "p es suficiente para que q", " si p, también q", etc.
alsa únicamente cuando el antecedente sea verdadero y el
más será verdadero.
, contradicción o contingencia.
, contradicción o contingencia.
, contradicción o contingencia.
TAUTOLOGÍA
, contradicción o contingencia.
) → ( 𝑟 → 𝑠)]
, contradicción o contingencia.
(𝑞 ∆ ~𝑟) ∧( ~𝑝 ∧ 𝑞)
e p, q, r, s respectivamente?
mina el valor de verdad de : [~(𝑝∨𝑟)]→{𝑠∧[𝑤↔𝑠]}
, contradicción o contingencia.
BUENOS DÍAS A T
INICIAMOS A LAS
AS A TOD@S
A LAS 7:35 AM