LÓGICA

SIMBÓLICA
CUANTIFICACIONAL

UNIDAD 3
 LÓGICA CUANTIFICACIONAL

SÍMBOLOS NOMBRE REPRESENTAN EJEMPLOS

P Q RST Variables Proposiciones atómicas P = Juan es beisbolista
(Su significado Q = Mérida es una Ciudad
cambia)
(Literales) R = Algún ave es roja
∧ ∨ V → Constantes Conectivos lógicos PvQ
¬ (Su significado es el
P→R
mismo) ¬P
¬Q
¬R
() [] { } Agrupación Nos permiten identificar el (P V R ) → (Q ↔ P)
conectivo principal, es el que
se encuentra fuera de los
(Agrupan [(P ∧ Q ) V Q] ∨ (P ∧ R)
proposiciones) símbolos de agrupación.
 EJERCICIO
INTERPRETANDO CALCULOS LÓGICOS

P = Todos los animales son irracionales

Q = El ser humano es un ser racional

P∧Q= (P ∧ Q ) V Q =
PVQ= (P V Q ) → (Q ↔ P) =
P→Q= (¬ P) V (¬ Q) =
Q↔P= [(P ∧ Q ) V Q] ∨ (P ∧ Q) =
Q∨ P=
¬P=
 EJERCICIO
CREANDO CALCULOS LÓGICOS
VARIABLES EXPRESIÓN CALCULO LÓGICO
(LENGUAJE FORMALIZADO)
P = Mérida es una ciudad Si Mérida es una ciudad P → Q
entonces todas las ciudades
Q = todas las ciudades tienen habitantes
tienen habitantes Todas las ciudades
¬ tienen Q ∧ (¬ P)
habitantes y no es verdad
Mérida es una ciudad

Mérida es una ciudad y

todas las ciudades tienen
habitantes si y solo si
Mérida es una ciudad o
todas las ciudades tienen
habitantes