ARITMÉTICA

LÓGICA
PROPOSICIONAL

Prof. Nelson R. Miñano C.

 LÓGICA
PROPOSICIONAL

01 02
LÓGICA LÓGICA
PROPOSICIONAL PROPOSICIONAL

01.01 02.02
TABLA DE LA VERDAD TABLA DE LA VERDAD
CONJUNCIÓN DISYUNCIÓN
 DESARROLLO DE LA
SESIÓN DE CLASE

TEORIA

RESOLUCION DE PROBLEMAS

PRÁCTICA CALIFICADA
 LÓGICA PROPOSICIONAL
Proposición lógica es todo enunciado que puede ser calificado como verdadero (V) o falso (F) sin ambigüedad.

Notación:
Las proposiciones lógicas se denotan por:
.
p, q, r, s, t, ………
p1, p2, p3, p4,……………p(n)

Ejemplos:
- P: Lima es la capital de Perú…………………….(V)
- q: 7+5 >13……………………………………………(F)

Los enunciados que expresan una exclamación, una pregunta o una orden, no son proposiciones lógicas.
a) Dónde vives?
b) ¡Arriba el Perú!

En los enunciados anteriores, observamos que no es posible indicar si son verdaderos o

falsos
Valor de verdad:
Es el calificativo que se le da a una proposición lógica
según sea verdadera (V) o falsa (F), entonces cada
proposición lógica tiene un solo valor de verdad o es
verdadera o falsa.
Tabla de verdad. P Q P ^ Q
V V V V V
P V F V F F
V F V F F V

F F F F F F
OPERACIONES CON PROPOSICIONES LÓGICAS
Son símbolos que enlazan proposiciones simples, sin formar parte de ellas.

Clases de conectivos lógicos:

.
1) LA NEGACIÓN: Dada una proposición p se puede formar otra proposición que se
llama la negación de p.

Se simboliza: ~p Se lee “no p” , “no es cierto que p”

Ejemplo:

P: Lima es la capital de Perú

~p: Lima no es la capital de Perú
2) LA CONJUNCIÓN: Dos proposiciones p y q se pueden unir por medio de la letra “y”
para formar una proposición compuesta llamada conjunción.

Si p es verdadera y q es verdadera la conjunción es verdadera, en cualquier otro

caso es falso.

Se simboliza: pɅq Se lee “p y q”

Ejemplo:

P: Lima es la capital de Perú

~p: Lima no es la capital de Perú
Tabla de verdad

p q p Ʌ q

v v v v v

v f v f f

f v f f v

f f f f f
Ejemplo 1

p q r (~p Ʌ r) Ʌ ~q

v v v f f v f f

v v f f f f f f

v f v f f v f v

v f f f f f f v

f v v v v v f f

f v f v f f f f

f f v v v v v v

f f f v f f f v
Ejemplo 2

p q r ~ (p Ʌ r) Ʌ q

v v v f v v v f v

v v f v v f f v v

v f v f v v v f f

v f f v v f f f f

f v v v f f v v v

f v f v f f f v v

f f v v f f v f f

f f f v f f f f f
Ejemplo 3

p q r (p Ʌ ~r) Ʌ (~r Ʌ q)

v v v v f f f f f v

v v f v v v v v v v

v f v v f f f f f f

v f f v v v f v f f

f v v f f f f f f v

f v f f f v f v v v

f f v f f f f f f f

f f f f f v f v f f
3) Disyunción inclusiva: Dos proposiciones cualesquiera p y q se pueden unir por
medio de la letra “o”.

Si al menos una de las proposiciones “p” o “q” es verdadera la disyunción

resultara ser verdadera.

Se simboliza: p˅q Se lee “p o q”

Ejemplo:
P: Lima está en España o está en Italia.
Tabla de verdad

p q p ˅ q

v v v v v

v f v v f

f v f v v

f f f f f
Ejemplo 1

p q r (p Ʌ ~r) ˅ (~r ˅ q)

v v v v f f v f v v

v v f v v v v v v v

v f v v f f f f f f

v f f v v v v v v f

f v v f f f v f v v

f v f f f v v v v v

f f v f f f f f f f

f f f f f v v v v f
Ejemplo 2

p q r ~ (p ˅ r) ˅ q

v v v f v v v v v

v v f f v v f v v

v f v f v v v f f

v f f f v v f f f

f v v f f v v v v

f v f v f f f v v

f f v f f v v f f

f f f v f f f v f
 Finalmente los invito a visualizar en el aula virtual, el material disponible de
esta sesión tales como : La clase grabada, el PPT de la clase, la teoría y la
práctica calificada; que te permitirá medir tu aprendizaje. Nos vemos en la
próxima clase y les agradezco su atención.

www.academiapremilitarcentauro.edu.pe