Lgica Cuntificacional

Lgica Cuantificacional Limitacin de la lgica proposicionalMuchos argumentos que son intuitivamente son vlidos, no lo son en la lgica proposicional. Ejemplo: Todos los filsofos son excntricos. Scrates es filsofo. Por tanto, Scrates es excntrico. Este argumento es invlido en la lgica proposicional, pero intuitivamente es vlido. Lgica de predicados Nombre: Ejemplos: Scrates, Mercurio, PerPredicados: Ejemplos: . fue el maestro de Platn, es el planeta ms pequeo del Sistema Solar, es un pas de Sudamrica. Componentes de la Lgica Cuantificacional Constante individual: Ejemplos; s= Scrates, m= Mercurio, p= Per.Oracin Singular: Scrates es excntricoVariable individual: x,y,z. Depende a que tipo de dominio se refiere el predicado. Letra Predicativa: R = es rojo.P = es peruanoSimbolizandoLos predicados pueden entenderse : es rojo x es rojo Rx es peruano x es peruano Px Para simbolizar necesitamos un lxico: m= manzana Rx= x es rojo.La oracin ms simple es la composicin de una letra predicativa y un nombre. Rm = La manzana es roja.1

Todas las secretarias son pelirrojas Ningn lcali es cidoAlgunos profesores son polglotasAlgunos vertebrados no son mamferos. Todos los problemas no son insolubles. Todas las mujeres no son sinceras. Las colegialas son romnticas Las estrellas brillan Los timbales y las campanas son instrumentos de percusin. Los fsicos y los astrnomos son cientficos .Ningn payaso que sea equilibrista es tmido. Ningn filsofo es fantico del ftbol o del box No existen envidiosos que no sean infelices. No existen envidiosos que no sean infelices.No todas las partculas subatmicas son conocidas actualmente. Nadie es honesto y leal a la vez