0% encontró este documento útil (0 votos)
62 vistas3 páginas

Introducción a la Lógica Proposicional

La lógica proposicional estudia las variables proposicionales y su organización mediante conectores lógicos. Se presentan definiciones básicas como proposición, enunciado, proposición simple y compuesta. Se explican los conectores lógicos como negación, conjunción, disyunción, condicional y bicondicional junto con sus tablas de verdad.
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 DOCX, PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
62 vistas3 páginas

Introducción a la Lógica Proposicional

La lógica proposicional estudia las variables proposicionales y su organización mediante conectores lógicos. Se presentan definiciones básicas como proposición, enunciado, proposición simple y compuesta. Se explican los conectores lógicos como negación, conjunción, disyunción, condicional y bicondicional junto con sus tablas de verdad.
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 DOCX, PDF, TXT o lee en línea desde Scribd

LOGICA PROPOSCIONAL DISYUNCION DEBIL (∧) PROBLEMAS PLANTEADOS Si la proposición

La lógica proposicional es una rama de p q p ∧q 1) Si analizamos la tabla de ( p ∧q) →( p ∧ r ) es falsa, hallar el


la lógica clásica que estudia las V V V verdad de : valor de verdad de las siguientes
variables proposicionales o sentencias V F V {[ ( p ∨ q)∧∼ p ] →q } proposiciones
lógicas, su organización y métodos. F V V ¿Cuáles serian los valores I) [∼ r ↔ q ]∨ q
ENUNCIADO: Es toda frase u F F F resultantes de su matriz II) [∼(r → t)→ q ]∧ q
oración que señala alguna idea. principal? III) [ ( ∼q ∨ p ) ∆ q ]↔ p
PROPOSICION: Es aquel enunciado DISYUNCION FUERTE (∆ ) a) FVV
aseverativo (afirma algo) del cual se a) FFF b) VVF
p q p∆q b) FFVV
puede señalar si es verdadero o falso. c) VVV
V V F c) VFVF
PROPOSICIÓN SIMPLE. No V F V d) VFF
d) VVVV e) VFV
contiene conectores lógicos. F V V
e) VVFF
PROPOSICION COMPUESTA. F F F Determinar el valor de verdad de
Contiene conectores lógicos. p,q,r y s; cuando
Sean las proposiciones
CONDICIONAL (→)
ESQUEMA MOLECULAR: La [ ( p → q)∧(∼ s ∧ r) ]
representación simbólica de una p: Pedro estudia.
p q p→q
proposición compuesta se llama a)VFVF b)FFVV c)FFFF d)FVVF
V V V q: Pedro va al cine.
esquema molecular
V F F De las siguientes proposiciones
CONECTORES LOGICOS Y F V V r: Pedro trabaja.
TABLAS DE VERDAD F F V Al formalizar:
I) [ p → ( p ∧q ) ] ∨ p
Si es el caso que Pedro estudia II) ∼( p ∨ q)→ ∼ p
NEGACION ( ¿
entonces no va al cine o trabaja. III) [ q ∧ ( p ∨q ) ]→∼ p
BICONDICONAL (↔)
p
a) p →(q ∨∼ r) ¿Son Tautologías?
V F p q (↔)
F V V V V b) p → ( q ∨r ) a) I y III
V F F c) p → (r ∨) b) I y II
F V F d) (∼q ∨ r )→ p c) Solo III
CONJUNCION (∧¿
F F V e) ( q ∨ r )→ p d) Solo II
p q p ∧q e) Todas
V V V
V F F
F V F
F F F
1) Dadas las proposiciones. M =¿ , indicar las proposición s y t tienen valor de III) [ ( p ↔ q ) → ( p ∆ q )]
proposiciones que son verdad desconocido, determine el
p: Lenin aprueba sus cursos. verdaderas: valor de verdad de las siguientes a) VFF b) FVV c) VFV
q: Lenin va a la fiesta. a) p y q b) p y r c) r y s proposiciones. d) VVF e) FFF
r: Lenin estudia para su d) q y s e) p y s
examen. I) ( p ∧ s) ∨ p 12) En la proposición compuesta
5) . La tabla de verdad de la siguiente II) (t ∧ q)→ p
SIMBOLIZAR proposición compuesta:( p → q)∧ ∽q, III) (s ∨t)→ ∼r [ ( p →q ) ∧∼ q ] → p
¨Si Lenin va a la fiesta entonces no contiene: a) VFV El resultado de la matriz principal es:
estudiara para su examen, pero no es el a) 2 falsas y 2 verdaderas. b) VVF
caso que vaya a la fiesta y aprueba sus c) VFF a) Contradictoria.
b) 3 verdaderas y 1 falsa.
cursos. De ahí que Lenin estudia para d) FVV b) Contingencia.
c) 4 falsas.
su examen¨ e) FFF c) Faltan datos.
d) 4 verdaderas.
d) Tautología.
e) 3 falsas y 1 verdadera. 9) Cual de los siguientes esquemas
a) [ ( q → r ) ∧ ∼ ( q ∧ p ) ]→ r e) No se puede predecir.
[ ( q → r ) ∧ (q ∧ p)]→ r 6) Evaluar la tabla de verdad de la moleculares representan una tautología.
b)
13) Si la proposición
c) [ ( q → r ) ∨ (q ∧ p)]→ r proposición compuesta: I) ( p ∆ q)↔(q ∨ p)
d) [ ( q → r ) ∧ (q ∧ p)]→ r ( p ∧ q)↔( p ∨ q) ( p ∨r ) → ( p → q ) ≡ F
II) ( p ∧q ) →( q ∨ p)
e) [ ( q → r ) ∨ (q ∧ p)]→ r a) Una tautología. Entonces, cual es valor de verdad de las
b) Una negación. III) ( p ∧q ) ∆( p ∨q ) siguientes proposiciones.
2) Simbolice correctamente: c) Una contradicción.
d) Una contraposición. a) I y III b) I y II c) II y III I) p ∧q
No estudie para el examen final e) Una contingencia. d) Solo III e) Solo I II) ( p ∨r ) → q
porque trabaje hasta tarde; ya III) ( p → q)∧(q → p)
que llegaron muchos clientes. 7) Según el esquema molecular: 10) Si el valor de verdad de la a) VVF
( p → q ) ∧q ≡ F , indicar el valor preposición. b) VFV
a) p → ( q →r ) veritativo se las siguientes c) VFF
[ ( p ∧ q ) ∨t ]→ (p → q)≡ F , hallar
b) p → ( q ∧r ) proposiciones. d) FFV
el valor de p ; q y t respectivamente.
c) p →( q → r ) e) FFF
d) r → ( q → p)
I) ( p ↔ q)∧ q a) VFF b) VVF c) VFV
14) Formalice: ´´ Es imposible que
e) p ↔( r ∨ q)
II) ( p ∧q)→(q ∧ s ) d) FVV e) FFF
nuestro país progrese solo con
III) ( p ∆ q)↔( p ∨q)
inversiones extranjeras, tambien hay
3) La simbolización correcta de la que industrializar las sociedad´´
proposición: No porque lloras a) VVF b) VFF c) VFV 11) Si el valor de verdad de la
conseguirás lo que quieres, es proposición ¿, hallar el valor de verdad a) ∼ p → q b) ∼( p ∧ q)
d) FFF e) FVV
a) p ∧q b) p →q de las siguientes proposiciones.
c) ∼ p ∧q d) ∼( p → q)
c) ( p → q) d) ( p ∧ q) 8) Si la proposición:
I) [ p ∧ ( q → p) ]
e) p ( p ∧∼r )→ (r ∆ q) ≡ F y la e) p ∨∼ q
II) [ ( p → q ) ∧ ( p ∆ q ) ]
4) Si el esquema:

También podría gustarte