La lógica proposicional permiten asignar un valor verdadero o falso a cada uno de ... que muestra el valor de verdad de una proposición compuesta, para cada ...
• Es la disciplina que estudia métodos de análisis y razonamiento;
utilizando el lenguaje de las matemáticas como un lenguaje analítico. La lógica proposicional es el estudio del razonamiento a través de
mecanismos que primero evalúa sentencias(o enunciados) simples y luego sentencias complejas. Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples.
Definiciones Una proposición es una sentencia simple que tiene un valor
asociado, ya sea verdadero o falso. La lógica proposicional permiten asignar un valor verdadero o
falso a cada uno de estos enunciados. Notación: se denotan con letras minúsculas p, q, r, s ó p1, p2,.. Una forma proposicional es una expresión que contiene una
variable y puede transformarse en proposición si se sustituye dicha variable por un elemento del conjunto de referencia. Ejemplo: p(x): x es un estudiante de la FAZ
Definiciones Una proposición simple es un enunciado que se refiere a un
hecho único. Ejemplos: p: hoy es lunes q: 3 es un número par r: la soja es el principal cultivo en argentina
Una proposición compuesta es la combinación de enunciados
simples mediante el uso de símbolos llamados conectivos lógicos. Ejemplos: Dos es un número par y primo Si no llueve entonces voy a ir al cine
Conectivos lógico Nombre
Símbolo
Proposición
Se lee:
Conjunción
pq
…y… … pero … … aunque …
Disyunción
pq
… o… … y/o …
Implicación
pq
Si … entonces …
Doble implicación
pq
… sí y solo sí …
Negación
p
No … No es cierto que …
Tablas de Verdad Una tabla de verdad, o tabla de valores de verdad, es una tabla
que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes. El número de combinaciones posibles es igual a 2n, siendo n el número de proposiciones simples intervinientes. Si n = 2, tendremos 4 combinaciones.
p
q
V
V
V
F
F
V
F
F
Si n = 3, tendremos 8 combinaciones. p
q
r
V
V
V
V
V
F
V
F
V
V
F
F
F
V
V
F
V
F
F
F
V
F
F
F
Conjunción Dadas dos proposiciones simples p y q, se define la conjunción
p q como la proposición compuesta que es verdadera solo si lo son las dos proposiciones componentes.
p
q
pq
V
V
V
V
F
F
F
V
F
F
F
F
Disyunción Dadas dos proposiciones simples p y q, se define la disyunción
p q como la proposición compuesta que es verdadera si lo es al menos una de las proposiciones componentes.
p
q
pq
V
V
V
V
F
V
F
V
V
F
F
F
Condicional o implicación Dadas
dos proposiciones simples p (antecedente) y q (consecuente), se define la implicación p q como la proposición compuesta que es falsa solo cuando el antecedente es verdadero y el consecuente es falso. p
q
pq
V
V
V
V
F
F
F
V
V
F
F
V
Bicondicional o doble implicación Dadas dos proposiciones simples p y q, se define la doble implicación p q como la proposición compuesta que es
verdadera si las proposiciones componentes son ambas verdaderas o ambas falsas. p
q
pq
V
V
V
V
F
F
F
V
F
F
F
V
Negación Dada una proposición simples p, se define la negación de p (p)
como la proposición verdadera si p es falsa y falsa si p es verdadera. p
p
V
F
F
V
Proposiciones compuestas Para resumir, dadas dos proposiciones simples p y q, se
pueden definir las siguientes proposiciones compuestas. p
q
pq
pq
pq
pq
V
V
V
V
V
V
V
F
F
V
F
F
F
V
F
V
V
F
F
F
F
F
V
V
Definiciones Las proposiciones compuestas se clasifican en: a)Tautología: es una proposición compuesta que es
verdadera independientemente de los valores de verdad de las proposiciones simples que la componen. b) Contradicción: es una proposición compuesta que es
falsa independientemente de los valores de verdad de las proposiciones simples que la componen. c) Contingencia: es un proposición compuesta que no es
tautología ni contradicción
Argumento: un argumento es una sucesión de proposiciones
llamadas premisas cuyo propósito es la inferencia o deducción de otra proposición llamada conclusión. Un Argumento es válido si y sólo si la conjunción de las
premisas implica la conclusión y dicha implicación es siempre verdadera. Ejemplo: Analice si es válido el siguiente argumento:
Si gano las elecciones bajaré los precios de los combustibles. Bajaré el precio de los combustibles si los electores votan por mi. Los electores no votaron por mi por lo tanto no bajaré los precios de los combustibles.
Consideremos:
p: gano las elecciones q: bajaré el precio de los combustibles r: los electores votan por mi. Podemos escribir las premisas y la conclusión de la siguiente manera: p1: p q p2: r q p3: r
C: q
El argumento lógico quedará [(p q) (r q) (r)] q Realicemos la tabla de verdad de la implicación, y observemos :
si es una tautología el argumento será válido y si se obtiene una contingencia o contradicción el argumento no es válido.
Proposiciones lógicamente equivalentes: dos o más
proposiciones son lógicamente equivalentes si tienen los mismos valores de verdad bajo iguales condiciones de verdad. Ejemplo:
Analice si
p ( p) q es equivalente a q p ( p)
Leyes de la lógica Ley del medio excluyente: Ley de contradicción:
p ( p) [p ( p)]
Ley de involución:
( p) p
Ley de idempotencia:
(p p) p (p p) p
Ley conmutativa:
(p q) (q p) (p q) (q p)
Ley asociativa:
(p q) r p (q r) (p q) r p (q r)
1 abr. 2017 - ¿Qué es la lógica proposicional? • Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas ...
Dada una fórmula F, calcular una forma clausal de F. 2. Dada una interpretación I y una cláusula C, decidir si I es modelo de C. 3. Dada una interpretación I y un ...
8 ene. 2019 - ... bank on your desirable subject. By delivering much bigger alternative we believe that our readers can find the proper eBook they require.
cómo máximo, un valor equivalente al 100% de los márgenes exigidos por la Cámara Compensadora. Esta variación máxima no se aplicará los días primero y ...
ra! te Ass. Que, mediante Resolución Ministerial N° 245-2015-MINEDU, se ratificó a la señora. ROSA ESPERANZA VILLAR FERNANDEZ, y se designó al señor ...
18 oct. 2017 - I de Ass soría Joy. Que, estando a que el escrito de apelación contra resolución denegatoria ficta de fecha 24 de marzo de 2017, no ha sido ...
Suboficial Brigadier de la Policía Nacional del Perú Emilio Arnaldo Chávez Andrade, propuestos por la Oficina Central Nacional de INTERPOL de Lima, del 2 al ...
Control Previo), sin sobrepasar el monto total de la indicada rendición de cuenta. ... 04-498-312743. 2.3.21.21. 7.00 cina Gong. JAIME. JOSELITO. LALANGUI.
CRIOlbs. MINISTER. ICACI. CION. Despacho Viceministerial de Gestión Pedagógica del Ministerio de Educación,. Wara dándosele las gracias por los servicios ...
Yada Gener SENCICO;. METODA. Que, la citada funcionaria ha dejado de prestar servicios al Ministerio de Educación de conformidad con lo establecido en la ...
LEGAL, de la Oficina ... Secretary retaria Gen. Artículo 1.- Creación y Objetivo. Créase la Comisión de Teletrabajo del Ministerio de Educación, la cual es de.
18 may. 2017 - crea el Bono Familiar Habitacional - BFH, señalando entre otros, las ...... obtenido la buena pro del Concurso Público organizado por el FMV a.
to Xi”, que se llevará a cabo del 28 al 31 de marzo de 2017, en la ciudad de Bridgetown,. Barbados;. CRIO DE. MINIS. Secret. General. X. Que, el referido Taller ...
por devoluciones de saldos no utilizados de viáticos y encargos". Unidad Orgánica. Visto y Sello. *. **. *****. Elaborado por: Oficina de Tesoreria. NIST. - LATVIA.
CALIDA. INISTE. Jurid. Artículo 3.- Las modificaciones autorizadas por la presente resolución no autorizan, ni ... Decretary. JOSÉ CARLOS CHÁVEZ CUENTAS.