El concepto de lógica proposicional
Enviado por javier7_24 • 6 de Mayo de 2013 • Informe • 269 Palabras (2 Páginas) • 550 Visitas
CIENCI A DE LA ADMINISTRACION
Objeto de Estudio:
El objeto de la Ciencia de la Administración es el conocimiento de las Administraciones públicas desde las más amplias perspectivas, teniendo en cuenta su situación real y sus relaciones con el poder y la sociedad. Ello implica la renuncia a la obsesión metodológica de construir una ciencia convencional. En nuestro caso tiene lugar un predominio del objeto sobre el método. Es el objeto el que dota de unidad científica a la materia
LÓGICA PROPOSICIONAL
Definición: LÓGICA PROPOSICIONALLa lógica proposicional es la parte de la lógica queestudia la formación de proposiciones complejas apartir de proposiciones simples, y la inferencia deproposiciones a partir de proposiciones, pero sin teneren cuenta la estructura interna de las proposicionesmás simples. http://www.slideshare.net/profesoredgard/logica-proposicional-13586732#btnNext
La lógica proposicional es la parte de la lógica que estudia la formación de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.1
Una lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
EJEMPLO DE TAUTOLOGÍA, CONTRADICCIÓN Y DE CONTINGENCIA
PARA EL MEJOR ENTENDIMIENTO DE ESTAS DEFINICIONES VEAMOS UN EJERCICIO.
Elaborar tabla de verdad, explique el resultado.
~ [p→ (qʌr)]
Paso 1: construir la tabla de verdad
Existen 3 variables proposicionales (p, q, r ), por lo tanto el número de filas será 8
Paso 2: colocar identificación de las columnas
Se colocan las variables, luego funciones proposicionales y finalmente el ejercicio propuesto
nota: observar que existe una negación (tener en cuenta una columna para este caso)
...