Grupo 1 Lógica Proposiciona

Descargar como pptx, pdf o txt
Descargar como pptx, pdf o txt
Está en la página 1de 27

“AÑO DE LA UNIVERSALIZACIÓN DE LA SALUD”

UNIVERSIDAD NACIONAL DE TRUJILLO


TEMA:
“LOGICA”
DOCENTE:
MARTÍNEZ ZOCÓN RAÚL
INTEGRANTES:
 LINGAN MOLINA LEWIS
 NIÑO LADRON DE GUEVARA ARROYO CARMEN IDALIA
 ORTIZ PALOMINO MADELEY GERALDY
 QUIJANDRÍA GONZÁLES SANDRA NIZZIA
 SERANO TERRONES PIERO ANTHONY ( DELEGADO DE GRUPO)
 YOVERA CHAVEZ JORGE LUIS
LÓGICA
PROPOSICIONAL
 Lógica: es un método o razonamiento en el que las ideas o la sucesión de los hechos se
manifiestan o se desarrollan de forma coherente y sin que haya contradicciones entre ellas.
Proposición: Son expresiones lingüísticas de las cuales se pueden afirmar si son
verdaderas o falsas.

No son proposiciones:
Son proposiciones: -Las expresiones.
-Las oraciones aseverativas ( indica una -Las interrogativas.
verdad). -Las dudas.
- Las leyes científicas. -Las exclamativas.
-Las formulas matemáticas, físicas, -Los hechos o personajes literarios.
químicas. -Refranes.
-supersticiones, mitos.
NOTA: Las proposiciones son representados con las letras del abecedario empezando
en p, luego q, r, s, t, u, v,…
Las proposiciones lógicas lo dividimos en:

 SIMPLES: Son las proposiciones que solo tienen un sujeto, sin ningún conector lógico.
EJEMPLO:

-Loreto es un departamento peruano.

 COMPUESTAS: Estas proposiciones contiene conectores lógicos que unen dos o mas
proposiciones simples.
EJEMPLO:

-José y Manuel estudian en la UNT.


CONECTIVOS LÓGICOS

 Son símbolos que enlazan dos o más proposiciones simples para formar una
proposición compuesta.
OPERACIÓN CONECTIVO ESQUEMA
LOGICA LOGICO
Negación ~ ~p

Conjunción ^ p^q

Disyuntor Debil v pvq

Disyuntor Fuerte v p vq

Condicional → p → q

Bicondicional p q
TENEMOS:
LA DISYUNCIÓN (débil) : Sucede cuando existen varias opciones
de las cuales puedes tomar ambas opciones.
Se lee: “p o q”
Se escribe: Representado por los símbolos: “v” , “+” .
REGLA: En la tabla de verdad, solo cuando ambos son “falsos” el resultado
es “falso”, caso contrario será “verdadero”
EJEMPLO: p: 8 es menor que 7 … (f)
p q pvq
q: 6 es mayor que 2 … (v)
V V V
V F V p v q : 8 es menor que 7 o
F V V 6 es mayor que 2 …(v)
F F F
CONJUNCION: Es la unión de dos o mas proposiciones.
Se lee: “p y q”
Se escribe: Representado por los símbolos: “ ^ ” .
 REGLA: En la tabla de verdad, solo cuando ambos son “verdaderos” el resultado es
“verdadero”, caso contrario será “falso”.

p q p^q
EJEMPLO: p: 1512 es múltiplo de 3 … (V)
V V V
V F F
q: 5 + 2 = 10 … (F)
F V F p ^ q : 1512 es múltiplo de 3 y
F F F 5 + 2 = 10 …(F)
NEGACIÓN: Es lo contrario de la proposición, cambiándole los valores.
Se lee: “no p / la negación de p / es falso que p / No es cierto que p ”
 Se escribe: Representado por los símbolos : “ ~ / - ” .
 REGLA: Cambia todos los valores de la proposición. (de verdadero a falso y de falso a
verdadero.

p ~p

V F
F V
CONDICIONAL: Funciona causa y consecuencia, una depende del otro.
Se lee: “Si p entonces q ”

Se escribe: Representado por el símbolo : “→ ” .


REGLA: Solo cuando la causa es “verdadero” y la consecuencia “falso” el resultado será falso,
en casos diferentes será verdadero.
TAMBIÉN SE LEE:
p q P→ q p implica q
V V V p solamente si q
V F F p es una condición suficiente para q
F V V
F F V q es una condición necesaria para p
q a menos que ~ p
Es suficiente que p para que q
Es necesario que q para que p
 OBSERVACIONES:

 Según las dos ultimas filas basta que el antecedente p sea falso(F) para que la
condicional sea verdadero(V) , independiente del valor de la proposición q.
 Según la primera y tercera fila basta que el consecuente q sea verdadero) para que la
condicionas sea verdadera(V)
 Según la ultima fila, si tanto p como q son falsas, la condiciona resulta verdadera

 EJEMPLO.- Explique porque tiene los valores veritativos indicados:


a) 2 +3 = 6 → 5 < 6 … (V)
b) 3 – 1 = 4 → < …(V)
c) 5 es un numero primo → 51 es par …(F)
 BICONDICIONAL: Es aquella proposición que es verdadera en el
caso de que ambas p y q sean iguales así sea verdaderas (V) o falsas
(F), pero si p y q no son iguales el resultado será falso.
Se lee: “ p si y solo q ”, “ p si y solamente si q”
o “ p es una condición necesaria y suficiente para q”
Se escribe: Representado por el símbolo : “ ”
p q p q
V V V
V F F
F V F
F F V
 PROPOSICIONES COMPUESTAS: Utilizando los conectivos lógicos se
puede combinar cualquier numero finito de proposiciones para obtener otras cuyos
valores veritativos pueden ser conocido s construyendo sus tablas de verdad en las
que se deben indicar los valores resultantes para todas las combinaciones posibles
de valores de las proposiciones componentes.
 Por ejemplo, para la proposición: [(~p) v q ] → ( r ^ p)
p q r ~p (~p) v q r^p [(~p) v q ] → ( r ^ p)

V V V F V V V
V V F F V F F
V F V F F V V
V F F F F F V
F V V V V F F
F V F V V F F
F F V V F F F
F F F V F F F
 EJERCICIO:
 Sean p: 8 es un numero par ;
q: 8 es el producto de dos numero entero.
Traducir en símbolos cada una de las siguientes proposiciones

a) 8 es un numero par o es un producto de dos enteros pvq


b) 8 es impar y es producto de dos enteros (~p) ^ q
c) 8 es un numero par y un producto de dos enteros o es un numero impar y no un

producto de dos números enteros ( p ^ q) v [(~p) ^ (~q)]


 Problema.- Sean p, q, r tres proposiciones tales que p es VERDADERO, q es
FALSA, y r es FALSA. Indicar cuales de las siguientes proposiciones son
verdaderas:
 A) (p v q) v r B) [(p ^ q) v ((~p) ^ ~ q)] ^ [ ((~p) ^q) v ((~q) ^p)]

(V v F) v F Como esta formado por dos corchetes unidos por una ^ ,


y como el primero de ellos (a la izquierda) es FALSO,
V v F entonces toda la preposición será FALSA,
independientemente del valor de la proposición que
V queda a la derecha
(verdadero)

 C) Es falsa, pues (~p) v (q ^ r) : F v F : F


 D) Es falsa, análogo a (b), pues (q v r) resulta falsa.
  PROBLEMA .- Simplificar la siguiente proposición:
 ( ^ 1 > 0 ) → { v ( 1/ < 1/ -1 <0)}

SOLUCION.- Analizando el valor de > , vemos que = = = , y por lo tanto


> es FALSA, así como también tenemos que < 1/ es FALSA, sin embargo
Es VERDADERA pues significa > ó = Así equivalentemente se tiene que.

(F ^ V ) → [ V v ( F V)]
F

y según una observación respecto a las CONDICIONALES, basta que el antecedente sea FALSO como
en este caso, para que toda la condicional sea VERDADERA; lo cual se puede verificar completando lo
demás si se desea
 JERARQUIA DE LOS CONECTIVOS LOGICOS:
 Cuando en una proposición compuesta se tienen varios conectivos lógicos, las
operaciones se realizan luego de colocar los paréntesis adecuadamente.

 Problema .- Sean p, q, r, s, n proposiciones lógicas,. Si el valor de


verdad de las siguientes proposiciones (a) y (b) es FALSA:

 a) [ ~(p → q) → r] → (s ^ r) ; b) (~p) v q
 ¿Cuál es el valor de verda de (c) y (d) ?:
c) [(n →p) ^ ~r] → p ; d) s →(p n)
 IMPLICACION LOGICA Y EQUIVALENCIA LOGICA:
 Implicación Lógica: Toda condicional p → q que sea una TAUTOLOGIA, y en
tal caso a la condicional se le denota por p →q
EJEMPLO: [ ((~P) v ~q] → ~p
 Equivalencia Lógica: Toda bicondicional p q que sea una TAUTOLOGIA,
demorándose en tal caso, p q
EJEMPLO: p ^ (p v q) p:
p q pvq p ^ (p v q) p ^ (p v q) p
V V V V V
V F V V V
F V V F V
F F F F V
 La proposición [(p ^ q) v q] ^ ~ q es una CONTRADICCION (F)

p q ~ q (p ^ q) (p ^ q) v q [(p ^ q) v q] →~ q
V V F V V F
V F V F F F
F V F F V F
F F V F F F
Tautología y Contradicción

  TAUTOLOGÍA: Toda proposición simple o compuesta es siempre verdadera para


cualquier combinación de valores de verdad de sus componentes, se le denota por
una “V”.
 CONTRADICCIÓN: Toda proposición que toma el valor de falsa para todas sus
combinaciones, se le denota por “F” .
EJEMPLOS:
La proposición

p q
V V F F V F V
F
V
V F
F F
F V
V F
F F
F V
V
F
F
F
F V
V V
V F
F V
V F
F V
V
V
V
F F V V V F V
F F V V V V F V
V
4) Demostrar que son IMPLICACIONES LÓGICAS las siguientes bicondicionales.
a) (p →q) (~p) v q b) (p q) (p q) ^ (q p)
V V V F V V V V V V V V
V F F F F F V F F F F V
F V V V V V F F V V F F
F V F V V F F V F V V V
c) (p ^ q) v p p d) (p v q) ^ p p

V V V V V V V V
F V V V F V V V
F F F F F F F F
F F F F F F F F

e) ~(p q) [ p^~q]
V F V V F V
V V F V V F
F F V F F V
F F F F F F

También podría gustarte