Está en la página 1de 16

SIMBOLIZACIN EN

LGICA
CUANTIFICACIONAL
Integrantes:
Malpartida Ricra, Yackeline
Muoz Travezao, Ivonne
Silvestre Suazo, Jorge

OBJETIVO

Lograr que mis


compaeros puedan hacer
simplificaciones en Lgica
Cuantificacional.

LGICA CUANTIFICACIONAL
Es aquella que permite hacer un anlisis mas
profundo, refi nado y riguroso que la lgica
proposicional
Permite el anlisis de la cantidad y calidad de
las proposiciones a las cuales se les llama
Categoras
Ejemplo:
Termino de
Todo
cantidad
de
universal
estudioso

alumno
es
Cualidad:
afirmativa

PARTES DE LA PROPOSICIN
CATEGRICA

Todo alumno es
estudioso
Sujet

Cuantificad
or

copul
a

Predicativ
o

PROCESO DE SIMBOLIZACION EN
LOGICA CUANTIFICACIONAL

Simbolizacin de variables
individuales(Sujeto)
se representarn por s, p, m y
f

Simbolizacin de trminos
predicativos(predicado)
Representar por las letras
maysculas M , T y E

PROPOSICIONES CATEGRICAS
TPICAS
Toda ballena es un mamfero
- La ballena es un mamfero
Ningn atleta es vegetariano
- Los atletas no son vegetarianos
Algunas manzanas son verdes
- Hay manzanas verdes
Algunos polticos no son mentirosos
- Muchos polticos no mienten

PROPOSICIONES CATEGRICAS
ATPICAS

Todo NO S es P
80% S es P
Algunos no peces viven
en el mar
Ningn no perro es
juguetn

FORMALIZACIN O SIMBOLIZACIN
DE TRMINOS PREDICATIVOS
Se realiza a travs de las letras maysculas del
alfabeto
Ejemplo:
Los predicados mortal estudioso buena
formalizacin con variables individuales
(sujeto)
Ejemplo:
Primer caso:
Carlos es moral = Mc
Juan es estudioso = Ej
Camila es buena = Bc

SIMBOLIZACIN DE PROPOSICIONES
SIN CUANTIFICADOR

Jorge es moral = Mj
Lucho es estudioso = El
Carlos es bueno = Bc
Pedro cocina = Cp

Mateo es gordo y Jos es delgado


Gm Dj
Sofa y Max son primos
Psm
Richard y Manuel son hermanos
Hrm
Pablo estudia derecho, por eso ser abogado
DpAp
Julio corre y Manuel duerme
Cj Dm

REGLAS DE FORMACIN
Todo smbolo proposicional es una FBF (formula bien formada)
Todo predicado seguido de una variable o contante individual
es una FBF
Si A es una FBF entonces A tambin lo es
Si A y B son FBF entonces

A
A
A
A

B
v B
B
B

Tambin son FBF


Si A es una FBF, entonces
(
) (A)
(
) (A)
Una frmula es una FBF si y slo si es resultado de la
aplicacin de las reglas anteriores.

LENGUAJE DE LC
smbolos primitivos
Conectivos u operadores:
,,v,,
Constantes individuales: a, b, c, d,

Variables individuales: x, y, z,
Smbolos predicativos: F, G, H,
Cuantificadores: ( ) ( )

CUANTIFICADORES
Forma General
Todos los X son
P
Ningn X es P
Algunos X son P
Algunos X no
son P

Simbolizacin
LC
( E
)
( E
)
( A
)
( A
)

Proposicin
Categrica
Universal
afirmativa
Universal
negativa
Particular
afirmativa
Particular
negativa

x Px
x Px
x Px
x Px

SIMBOLIZACIN DE
PROPOSICIONES CON
"todas las hormigas
son insectos"
CUANTIFICADOR

para toda x, si x es hormiga entonces x es insecto


se puede simbolizar de lamanera siguiente:

(x)(HxIx)
Algn animales es carnvoros"
se observa que se puede escribir como : existe al menos
un x, tal que x es animal yx es carnvoro
que se puede simbolizar como:

(x)(AX Cx)

Todos los estudiantes presentaron el examen de lgica.

Ningn estudiantes presentaron el examen de lgica.

Algn estudiante present el examen de lgica.

Algn estudiante no present el examen de lgica.

Todos los terroristas son extraterrestres

( t) Et ( x) (TxEx)
Algunos peruanos son turistas

( p) Tp
( x) (Px Ex)
algunos economistas no son funcionarios

( e) Fe ( x) (Ex Fx)
Ningn ladrn es honesto
( l) Hl ( x) (Lx Hx)