Scribd
Cargar
96 vistas10 páginas

Clasificación de Proposiciones Lógicas

Este documento trata sobre la lógica proposicional. Explica que estudia las relaciones entre proposiciones mediante conectores lógicos como la conjunción, disyunción, condicional y negación. También describe circuitos lógicos que adoptan decisiones basadas en señales de verdadero o falso. Finalmente, incluye ejercicios de simplificación de proposiciones compuestas y de identificación de proposiciones resultantes de circuitos lógicos.

Cargado por

Vidal Anchiraico
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 PPTX, PDF, TXT o lee en línea desde Scribd
96 vistas10 páginas

Clasificación de Proposiciones Lógicas

Este documento trata sobre la lógica proposicional. Explica que estudia las relaciones entre proposiciones mediante conectores lógicos como la conjunción, disyunción, condicional y negación. También describe circuitos lógicos que adoptan decisiones basadas en señales de verdadero o falso. Finalmente, incluye ejercicios de simplificación de proposiciones compuestas y de identificación de proposiciones resultantes de circuitos lógicos.

Cargado por

Vidal Anchiraico
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 PPTX, PDF, TXT o lee en línea desde Scribd

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL PROPOSICIÓN

• Es una parte de la • Es todo enunciado al que se


lógica matemática, le puede asignar un valor
de verdad.
llamada también
«lógica de las Clases de proposiciones:
proposiciones sin
analizar». • Proposición simple: es
• Estudia las relaciones aquella que no está
entre las relacionada con otras
proposiciones proposiciones.
mediante la conexión
• Proposición compuesta:
lógica de estas. es aquella que se forma por
• Trata de la verdad o dos o más proposiciones
falsedad de una o unidas por los conectores
varias proposiciones. lógicos.
CONECTORES LÓGICOS

Son símbolos que unen dos o más proposiciones


simples para formar una proposición compuesta.

Los conectores lógicos son:


CONJUNCIÓN DISYUNCIÓN INCLUSIVA

Si p y q son proposiciones, Si p y q son proposiciones,


se llama conjunción de p y q se llama disyunción de p y q
a la proposición compuesta a la proposición compuesta
“p y q “ y se denota por: “p o q” y se denota por:
pq pq
DISYUNCIÓN CONDICIONAL
EXCLUSIVA
Si p y q son proposiciones, Si p y q son proposiciones,
se llama disyunción exclusiva se llama condicional de p y q
de p y q a la proposición a la proposición compuesta
compuesta “o p o q” y se “si p, entonces q” y se
denota por: denota por:
pΔq pq

p q pΔq p q p→q

V V F V V V

V F V V F F
F V V F V V
F F F F F V
BICONDICIONAL NEGACIÓN

Si p y q son proposiciones, Si p es una proposición,


se llama bicondicional de p y entonces “no p” es la
q a la proposición compuesta
negación de p y se denota
“ p, si y solo sí q” y se
denota por:
por:
p↔q ~p

p q p↔q
V V V
V F F
F V F
F F V
LEYES DE LA LOGICA PROPOSICIONAL
CIRCUITOS LÓGICOS

Los circuitos lógicos se utilizan para adoptar decisiones


específicas de «verdadero - falso» sobre la base de la
presencia de múltiples señales de «verdadero-falso» en
las entradas.
EJERCICIOS

1. Si la proposición (p   q)   r es 2. Elabora la tabla de verdad de la


falsa, determina el valor de verdad de siguiente proposición compuesta:
las siguientes proposiciones: ( p  q)  ( q  p)
I.  p v (r  q) Luego, indica si es una tautología,
II. ( q  p)   q contradicción o contingencia.
III. (q   r)  ( r  p)
Solución:
Solución: 2 proposiciones: p y q
Partimos de:
(p   q)   r F p q (p  q)  (q  p)
V F V V F V V F F F V
pqV r F V F F V F V V V V
pV;qF rV

Luego: F V V V V F F F F
IV. F v (V  F)  F v F  F
V. (V  V)  V  V  V  V F F V F F V V F F
VI. (F  F)  (F  V)  F  F  F Es una contingencia.

Rpta.: FVF Rpta.: Contingencia


3. Simplifica la siguiente proposición 4. Indica la proposición compuesta que
compuesta: resulta del siguiente circuito lógico:
(q  p) (p  q) v (p  q) (q  p) (p  q) v (p  q)

Solución: Solución:
Sabemos que: p  q  p v q
  (q v p)  (p v q) v (p v q)

  (q v p)  ( p  q) v (p v q)

  (q v p)   p)  q v (p v q)

  p  q v (p v q)

  (p  q) v p  v q) Sabemos que:

  p v q Circuito en serie: p  q


Circuito en paralelo: p v q
  (p)   (q)
Luego, la proposición compuesta es:
 p q (p v  q)  (p v q) v p  r

Rpta.: p  q Rpta.: (p v  q)  (p v q) v p  r

También podría gustarte