lógica proposicional

Lógica Proposicional

Semantica y operaciones de proporcion

Índice

07. Reduccion de formula}por medio de las leyes

01. Introducción

04. Conectivas

02. Logica proporsiconal

05. Definicion de conectivas

08. Ejercicios

03. Semantica

06. Leyes de logica

09. Bibliografía

introducción

En esta presentación se explicara el uso de la lógica proporcional, como principales temas que se manejaran será la semántica y los operadores

.02

lógica proposicional

que es la logica proposicional

proposición

La lógica Proposicional pretende estudiar las frases declarativas simples (enunciados o proposiciones) que son los elementos básicos de transmisión de conocimiento humano.

una proposición se define como una frase que puede ser considerada Verdadera o Falsa y que no se puede descomponer en otras frases Verdaderas o Falsas.

Sintaxis y Alfabeto

.03

Semantica

Interpretación

concepto

Una interpretación de una fórmula F en lógica proposicional es una asignación de valores {V, F} a cada una de las letras proposicionales de F. El valor de una proposición p bajo una interpretación I se denota como VI(p).

La teoría semántica de la lógica proposicional trata de atribuir significados (Verdadero o Falso) a las distintas fórmulas del lenguaje. Dichos significados dependen del contexto particular en el que se utilice la fórmula. Cada contexto se denomina Interpretación.

.04

Conectivas

Funcion

las conectivas lógicas se tratan como funciones de verdad . Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad.

Explicacion sencilla

.05

Definicion de conectivas

Disyunción Une proposiciones mediante el conectivo lógico “o”. Se lee p o q.

Negación Es un elemento lógico que actúa independientemente de la proposición. Se lee no p.

Conjunción Es la unión de dos o más proposiciones mediante el conectivo lógico “y”, “pero”, “también”, “sin embargo”, “además”, etc. Se lee p y q.

Condicional Viene a ser la combinación de dos proposiciones con “si… entonces”. Se lee si p entonces q.

Bicondicional Es la unión de dos proposiciones por “sí y sólo si”. Se lee p si y sólo si q

Reglas y notacion

.06

leyes del algebra proposicional

¿Que son?

Las leyes de la álgebra de proposiciones son equivalentes lógicas que se pueden demostrar con el desarrollo de las tablas de verdad

Ejemplos

.07

Reduccion

ejemplo

en el siguiente video se enseñara como se realiza una reduccion usando las formulas ya previas,ademas de como se debe llevar el orden para realizar la reduccion

Reduccion

.08

Ejercicios

Realiza la formula de los siguientes argumentos

• No vi la película, pero leí la novela:
• Ni vi la película ni leí la novela:
• Vi la película aunque no leí la novela
• O tu estás equivocado o es falsa la noticia que has leído
• Si no estuvieras loca, no habrías venido aquí:
• Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y dejaría que me internaran en un psiquiátrico

Elimina los parentesis

(((p → q) ∨ r) → (p ∧ ¬p)) ((p → (q ∧ r)) → (¬¬p ∧ q)) (¬(p ∧ q) → (q ∧ r))

LEER MÁS

.09

Bibliografía

Marco teorico

Conectivos

ANÓNIMO En el texto: (2020) Bibliografía: (2020). Retrieved 23 March 2020, from http://di002.edv.uniovi.es/~labra/FTP/LPROP.pdf

CONECTIVAS LÓGICAS En el texto: ("CONECTIVAS LÓGICAS", 2020) Bibliografía: CONECTIVAS LÓGICAS. (2020). Retrieved 23 March 2020, from http://logicamates.blogspot.com/2015/05/conectivas-logicas.html

Gracias por su atención

¿Alguna pregunta?