100% encontró este documento útil (1 voto)
11 vistas10 páginas

Introducción a la Lógica Proposicional

Este documento presenta una introducción a la lógica proposicional. Define lógica proposicional como el estudio de los métodos para determinar la validez del razonamiento mediante definiciones y leyes. Explica conceptos clave como proposiciones, conectivos lógicos, tablas de verdad, y cuantificadores universal y existencial. Finalmente, indica que los circuitos lógicos pueden representar proposiciones mediante el uso de interruptores para simbolizar los estados verdadero y falso.
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
100% encontró este documento útil (1 voto)
11 vistas10 páginas

Introducción a la Lógica Proposicional

Este documento presenta una introducción a la lógica proposicional. Define lógica proposicional como el estudio de los métodos para determinar la validez del razonamiento mediante definiciones y leyes. Explica conceptos clave como proposiciones, conectivos lógicos, tablas de verdad, y cuantificadores universal y existencial. Finalmente, indica que los circuitos lógicos pueden representar proposiciones mediante el uso de interruptores para simbolizar los estados verdadero y falso.
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

LOGICA PROPOSICIONAL

I N T R O D U C C I O N

DOCENTE: JOSE LUIS GONZALES APAZA

ALUMNA: JESSICA VELASQUEZ JIMENEZ

SECCION: B
FECHA: 25-03-2023
MATEMATICA
L O G I C A M A T E M A T I C A

LOGICA PROPOSICIONAL
DEFINICION

ES EL ESTUDIO DE LOS METODOS


QUE APLICAN DEFINICIONES Y
LEYES, CON EL PROPOSITO DE
DETERMINAR LA VALIDEZ O
INVALIDEZ DEL RAFONAMIENTO

1. PROPOSICION LOGICA
Es Aquella expresión que se puede calificar como verdadero
(V) o como falso (F) .
Se denotan con letras minúsculas, tales como:

EJEMPLO
NO SON PREPOSICIONES
INTERROGATIVAS EXCLAMATIVAS

IMPERATIVAS
DUBITATIVAS
EXHORTATIVAS

2. NEGACION DE UNA PROPOSICION

Consiste en cambiar el
SE LEE:
valor de verdad que tiene
una proposición.
no p
es falso que p
no es cierto que p
Son elementos que sirven de
3. enlace entre las proposiciones,

CONECTIVOS para formar otra, llamada


proposición compuesta o
LOGICOS molecular.

DISYUNCION INCLUSIVA

p ∨ q es verdadero (V) cuando por lo ∨


Se simboliza: “ ”, se lee: “o”
menos uno de ellos es verdadero.
EJEMPLO

5 es mayor que 3 o 5 es menor que 8

p ∨ q

Su valor de verdad:
V ∨ V=V

CONJUNCION
Se simboliza: “ ∧ ”, se lee: “y” p ∧ q es verdadero (V) cuando los
dos son verdaderos.

EJEMPLO

10 es mayor que 8 y 12 es menor que 14

p ∧ q

Su valor de verdad:
V ∧V=V
CONDICIONAL
p → q es falsa (F) solamente cuando “p” Se simboliza: “ → ” , se lee: “entonces”
es verdadera y “q” es falsa

EJEMPLO
Si:
10 es > que 8 entonces 12 es < que 10

P → Q

Su valor de verdad:
V →F=F
BICONDICIONAL

Se simboliza: “ ” , se lee: “si y sólo si” ↔
p q es verdadera (V) solamente cuando
“p” y “q” tienen el mismo valor de verdad.

EJEMPLO

8 es > que 10 si y sólo si 12 es < que 10

P ↔ Q

Su valor de verdad:
F ↔F=V
DISYUNCION (EXCLUSIVA FUERTE)

p q es verdadera (V) solamente cuando
“p” y “q” tienen diferente valor de verdad.

Se simboliza: “ ”, se lee: “o.....o......”

EJEMPLO

o 8 es > que 10 o 12 es < que 10

P △ Q

Su valor de verdad:
F △F=F
4. TABLA DE VERDAD

La representación mediante
variables proposicionales,
conectivos lógicos y signos
de colección se llama
fórmula proposicional.

EJEMPLO

SE SABE QUE “P” ES V Y “Q” ES F

el valor de verdad lo obtenemos


de la siguiente manera:

CONSTRUCCION UNA TABLA DE VERDAD ES UN METODO


PARA SABER SI UNA FORMULA
DE UNA TABLA MOLECULAR ES VERDADERA O FALSA

OBSERVACIONES

TIPOS DE PROPOSICIONES
SIMPLES COMPUESTAS

Son aquellas que no contienen Son aquellas formadas por dos o más
conectivos lógicos ni adverbio de proposiciones unidas por conectivos
negación lógicos o por el adverbio de negación.
El número posible de combinaciones de los valores de verdad
de “n” proposiciones componentes es 2 n

1
VARIABLE
"p"

2
VARIABLES
"p" - "q"

3
VARIABLES
"p" - "q" - "r"

VEAMOS COMO SE CONSTRUYE UNA TABLA DE VERDAD:


RESULTADOS DE UNA TABLA

De acuerdo al resultado obtenido, una fórmula proposicional


recibe un nombre especial:

TAUTOLOGIA

Cuando los valores del


operador principal son
todos verdaderos.

CONTRADICCION

Cuando los valores del


operador principal son
todos falsos.

CONTINGENCIA

Cuando los valores del


operador principal tienen por
lo menos una verdad y por lo
menos una falsedad.
Son equivalencias lógicas que
5.
nos permiten reducir
esquemas moleculares
complejos y expresarlos en
ALGEBRA DE

forma más sencilla.


PROPOSICIONES

PRINCIPALES LEYES
6. FUNCION PROPOSICIONAL

Es aquel enunciado que contiene a una


variable y que tiene la propiedad de
convertirse en verdadero o falso para cierto
valor de la variable.

se representan por:
EJEMPLO

Para:
Como puede verse,
dependiendo del valor de la
( FALSO )
Para: variable podemos obtener
resultados diferentes.
( VERDADERO )

[Link] UNIVERSAL Y EXISTENCIAL

1. CUANTIFICADOR UNIVERSAL
Se lee: “para todo x, se cumple p(x) “
Si a una función proposicional,
NOTACION: le anteponemos la expresión
“para todo x”, estaremos
indicando el sentido universal
de dicha función proposicional,
obteniéndose ahora una
proposición lógica.
2. CUANTIFICADOR EXISTENCIAL
Se lee: “existe un x, tal que, se verifique p(x)

Si a una función proposicional,
le anteponemos la expresión NOTACION:
“existe un x, tal que”, estaremos
indicando el sentido existencial
obteniéndose ahora una
proposición lógica.

8. C I R C U I T O S L O G I C O S

Un circuito conmutador puede solamente estar en dos


estados: cerrado o abierto, así como una proposición
puede ser verdadera o falsa, entonces podemos
representar una proposición utilizando un circuito
lógico:

CIRCUITO SERIE
Dos interruptores conectados
en serie representan una
conjunción.

p ∧ q

CIRCUITO PARALELO
Dos interruptores conectados
en paralelo representan una
disyunción.

p ∨q

También podría gustarte