INFERENCIAS LÓGICAS

INFERENCIAS LOGICAS

INFERENCIAS LOGICAS
1. DEFINICIONES PREVIAS

1.1. LÓGICA
La _______ es una __________ que estudia los métodos y principios
usados para determinar la _______________de las proposiciones

1.2. ENUNCIADO
Es toda ________________que se utiliza en el lenguaje común.

1.3. PROPOSICIÓN
Es todo enunciado que se puede afirmar que sea __________ o _____
 INFERENCIAS LOGICAS

VARIABLE PROPOSICIONAL
Para simbolizar proposiciones simples, se acostumbra a
usar las letras como: p , q , r, s;…..
__________________________________________________
Ejemplo:

Juan es Ingeniero: ____

Juan es Abogado: ______

8 es un numero primo: _____

 INFERENCIAS LOGICAS

CLASES DE PROPOSICIÓN
PROPOSICION SIMPLE: Son reemplazables por una sola variable
proposicional
Ejemplo 01:
El rio Rímac, es llamado el rio hablador= _____
La tierra es un planeta del sistema solar = _____
PROPOSICION COMPUESTA: Formado por dos o mas proposiciones
simples
Ejemplo 02:
Las gallinas no tienen cuatro patas=________________
p = ____________________________________
Ejemplo 03:
Juan es médico y psicólogo
p = _____________________
q = ______________________
 INFERENCIAS LOGICAS

2. CONECTIVOS LÓGICOS
Son elementos que sirven de enlace entre las proposiciones, para formar
otra, llamada proposición compuesta o molecular.
Ejemplo:
4+5 es mayor que 7 o 3x3 es menor que 10
 INFERENCIAS LOGICAS

1. NEGACIÓN DE UNA PROPOSICIÓN 2. DISYUNCIÓN INCLUSIVA

(Se simboliza: “” , se lee: “o” )
p ~p
p q p  q
V
V V
F V F
F V
F F
 INFERENCIAS LOGICAS

3. CONJUNCIÓN 4. CONDICIONAL
(Se simboliza: “” , se lee: “y” ) (Se simboliza: “” , se lee: “entonces” )

p q p Λ q p q p → q
V V V V
V F V F
F V F V
F F F F
 INFERENCIAS LOGICAS

5. BICONDICIONAL 6. DISYUNCIÓN (EXCLUSIVA FUERTE)

(Se simboliza: “” , se lee: “si y sólo si” ) (Se simboliza: “” , se lee: “o.......o.........” )

p q p ↔ q p q p ∆ q
V V V V
V F V F
F V F V
F F F F
 INFERENCIAS LOGICAS

TABLA DE VERDAD
A toda proposición compuesta que esta agrupada por signos de colección(paréntesis, corchetes, etc.) y
además unidas por conectivos lógicos
p  [ ( ~p  q )  ~q ]
CONSTRUCCIÓN DE UNA TABLA
1.- Verificar cuantas proposiciones simples hay.
2.- El número posible de combinaciones de los valores de verdad de “n” proposiciones
# 𝑐𝑜𝑚𝑏𝑖𝑛𝑎𝑐𝑖𝑜𝑛𝑒𝑠 = 𝒏: 𝒆𝒔 𝒆𝒍 𝒏𝒖𝒎𝒆𝒓𝒐 𝒅𝒆 𝒑𝒓𝒐𝒑𝒐𝒔𝒊𝒄𝒊𝒐𝒏𝒆𝒔
Por ejemplo: p q r
Si n =2  hay: 22 = ___Combinaciones
Si: n =3  hay: 23 =
p q ____ Combinaciones
 INFERENCIAS LOGICAS

Ahora si veamos como se construye una tabla de verdad:

p q p  [ ( ~ p  q )  ~q ) ]
V V

V F

F V

F F
 INFERENCIAS LOGICAS

p q p  [ ( ~ p  q )  ~ q ) ]
V V

V F

F V

F F
 INFERENCIAS LOGICAS

RETROALIMENTACION

p q p  q p  q p q p q p ∆ q
VV
VF
F V
F F
 INFERENCIAS LOGICAS

EJERCICIOS APLICATIVOS
PROB 01: Construir una tabla de verdad para
(p) (p v q) q
SOLUCIÓN:
 Identifico cuantas variables hay ( p y q)
 Luego hago las posibles combinaciones con dos variables
 Como son dos variables en total son 4 combinaciones

p q (  p )  (p v q )   q

V V

V F

F V

F F
 INFERENCIAS LOGICAS

PROB 03: Halla los valores de verdad de las siguientes proposiciones:

I.- (2+5=7)(3–1=4)
II.- (3+5=8)(4+2=7)
III (4–0=0)(6–4>1)
IV. (5+4<9)(2+5=8)
a) VFFV b) FVVF c) VFVF d) FFVV e) VFVV
SOLUCIÓN:
I.-( 2 + 5 = 7 )  ( 3 – 1 = 4 ) III. ( 4 – 0 = 0 )  ( 6 – 4 > 1 )

II.- ( 3 + 5 = 8 )  ( 4 + 2 = 7 ) IV. ( 5 + 4 < 9 )  ( 2 + 5 = 8 )

 INFERENCIAS LOGICAS

PROB 04: Dadas las proposiciones lógicas:

p : 51 es un número primo.
q : 5 es un número racional.
r : 81 es un cuadrado perfecto.

Halla los valores de verdad de:

I.- (~p  q)  (r  p)
II. ~(p  q)  (q  ~r)

a) VV b) VF c) FV
d) FF e) Faltan datos.
 INFERENCIAS LOGICAS

SOLUCIÓN:
 p : 51

D(51)=

q : 5 es un número racional.

r : 81 es un cuadrado perfecto.
 INFERENCIAS LOGICAS

Luego hallamos los valores de verdad:

I.- ( ~ p  q )  ( r  p )
 INFERENCIAS LOGICAS

II. ~( p  q )  ( q  ~ r )
 INFERENCIAS LOGICAS

PROB 05.- Si la proposición compuesta:

(p  ~q)  (~t  s) Es falsa, halla los valores de verdad de “p”, “q”, “t”
y “s” respectivamente.
a) VVFF b) VFFF c) FFVV d) VFFV e) FFFV

SOLUCIÓN:
( p  ~ q )  ( ~ t  s ) ≡F
 INFERENCIAS LOGICAS

PROB 06.- Si: (p  q) es falso ; (p  q) es verdadero

Determinar los valores de «p» e «q»
SOLUCIÓN:
(p  q) ≡ F…………………..(1)
(p  q) ≡ V…………………..(2)
 INFERENCIAS LOGICAS

PROB 08: Sean:

(p  r)  q
3 2
p : 2  3  17 ¿Cuál es el valor de verdad de
2
(p  q)  r
q : 6  36 los siguientes esquemas
r : 3 2 42  52 moleculares? p  (q  r)

SOLUCIÓN:
p: 23 + 32 = 17 … … … … … … … … . . (𝑉)
q: 62 = 36 … … … … … … … … . … … . . (𝑉)
r: 32 + 42 > 52 … … … … … … … . … . . (𝐹)

𝑝→𝑟 ∧ 𝑞 𝑝 ∧ 𝑞 →𝑟 p ∧ (q → 𝑟)
 INFERENCIAS LOGICAS

PROXIMA CLASE
INFERENCIAS
LOGICAS
PARTE 2