0% encontró este documento útil (0 votos)
172 vistas8 páginas

Lógica Proposicional y Tablas de Verdad

Este documento presenta los conceptos básicos de la lógica proposicional. Define proposiciones y conectores lógicos como la negación, conjunción, disyunción, condicional y bicondicional. Explica cómo estas operaciones lógicas forman fórmulas y cómo se evalúan sus valores de verdad a través de tablas de verdad. También introduce conceptos como equivalencias lógicas, tautologías y contradicciones.

Cargado por

edgar2763
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
0% encontró este documento útil (0 votos)
172 vistas8 páginas

Lógica Proposicional y Tablas de Verdad

Este documento presenta los conceptos básicos de la lógica proposicional. Define proposiciones y conectores lógicos como la negación, conjunción, disyunción, condicional y bicondicional. Explica cómo estas operaciones lógicas forman fórmulas y cómo se evalúan sus valores de verdad a través de tablas de verdad. También introduce conceptos como equivalencias lógicas, tautologías y contradicciones.

Cargado por

edgar2763
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

Álgebra

CICLO
2021-2

1 LOGICA PROPOCISIONAL
INTRODUCCIÓN
Definición: La Lógica estudia la validez de los razonamientos
Cuando un individuo afirma algo, tiene que argumentar como llegó a esa
conclusión. Todo argumento civilizado (lo que escuchamos o leemos)
esta hecho sobre un razonamiento (una estructura de pensamiento que
en base a premisas aceptadas como ciertas obtenga una conclusión), la
lógica valida estos razonamientos.
En la clase de hoy haremos estudio de la Lógica Proposicional o lógica
de orden cero, la cual trabaja sobre unas unidades de pensamiento
llamadas proposiciónes, relacionándolas a través de los llamados
conectivos lógicos y analizando esas relaciones. Resaltamos que en esta

parte no nos interesa mucho lo que digan las proposiciones en sí, sino
como se relacionan para establecer razonamientos válidos.
PROPOSICIONES Y CONECTORES LÓGICOS
Definición: Una proposición lógica es un enunciado que:
1) Afirma algo acerca de un sujeto
2) Tiene o puede asignársele un valor de verdad esto es, puede
ser verdadero (V) o falso (F), uno y solo uno de ellos.

Ejemplos de proposiciones: r: Juan ingresará a la UNI


p: Juan estudia en CepreUni s: 2 +4 =6
q: Laura nunca te hizo caso t: 4 + 12 < 16
No son proposiciones: Raúl me parece guapo
El estudia en la UNI x +5=6
¡ que calor ! x +12 >16
Las proposiciones pueden nombrarse a través de una letra minúscula

Definición: Un conector lógico al afectar a una proposición, o al relacionar


a dos proposiciones, forma una nueva proposición lógica.

Nueva proposición Representación


No es cierto que Laura estudie ………………….. ∼p
Juan No trabaja ……………………………............ ∼p

Juan estudia y Laura trabaja …………................. p ∧q


Juan estudia pero trabaja ………………………... p ∧q
Laura va al parque o va al mercado………..…….. p ∨q
Si Juan estudia entonces Juan ingresa . ……….. p→q
Juan Ingresa solo si estudia en CepreUni …... q →p
Solo si Laura te ama, te será fiel… ... p →q
Raul ingresa si y solo si estudia…... p↔q
Julia saldrá contigo siempre y cuando te bañes.. p↔q
O Raul ingresa o raul va al Ejército …... p△q
O Pedro come o pedro va al baño…... p△q

Operación Lógica Conectivo usado


Definición: ∼
Negación ………………
Al acto de generar una nueva Conjunción ……………. ∧
proposición mediante un Disyunción ……………. ∨
conector o conectivo lógico se →
Condicional ……………
le llama Operación Lógica
Bicondicional …………. ↔
Disyunción excluyente △

Definición: 2) Una proposición simple es


aquella que no tiene presencia
1) Una proposición compuesta
de conectores lógicos, excepto
es aquella que no es simple
en la descripción del sujeto.
Son proposiciones simples
El Perú tiene grandes ciudades
Juan sabe leer
Raúl es ingeniero civil
Juan y Sonia son esposos
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

Definición:
Una Fórmula Lógica es la representación simbólica de una
Proposición, indicándose en el caso de una proposición
compuesta los conectivos lógicos que la generan.

Algunas Fórmulas Lógicas


𝐩
∼𝐩→ 𝐪
∼𝐩∨𝐪
( ∼ 𝐩 ↔ 𝐪) → 𝐫
((∼ 𝐩 ∨∼ 𝐪) → 𝐪) → 𝐩

Definición:
Una Tabla de verdad nos señala el valor de verdad de una
fórmula lógica, para cada estado de verdad que generan
las proposiciones simples que la conforman.

p q f( p;q)
V V F
Estados
de V F V 𝑵° 𝒅𝒆 𝒆𝒔𝒕𝒂𝒅𝒐𝒔 𝒅𝒆 𝒗𝒆𝒓𝒅𝒂𝒅=𝟐𝑵°𝒅𝒆 𝒑𝒓𝒐𝒑𝒐𝒔𝒊𝒄𝒊𝒐𝒏𝒆𝒔
verdad F V V
F F V
p q p∧q
V V V
TABLA DE VERDAD DE LA CONJUNCIÓN: V F F
F V F
F F F
La conjunción es Verdadera solo si ambas proposiciones son Verdaderas
Ejemplo Juana estudia y Pedro trabaja (V)
Se concluye:
Juana Estudia (V)
Pedro trabaja (V)

p q p∨q
V V V
TABLA DE VERDAD DE LA DISYUNCIÓN V F V
F V V
F F F

La disyunción es Falsa solo si ambas proposiciones son Falsas


Ejemplo Juana es Física o Juana es Pintora (F)
Se concluye:
Juana es Física (F)
Juana es pintora (F)

TABLA DE VERDAD DE LA NEGACIÓN

p ∼p La negación tiene un valor de verdad


V F distinto al de la proposición original.
F V

TABLA DE VERDAD DE LA CONDICIONAL


p q p→q La condicional es Falsa solo si el antecedente
es Verdadero y el consecuente es Falso
V V V
Ejemplo Si Raúl estudia entonces Raúl Ingresa (F)
V F F
Se concluye: Raúl Estudia (V)
F V V
Raúl ingresa (F)
F F V p q p→q
V V V
Observaciones de
V F F
la condicional
F V V
F F V
1) Si el antecedente es Falso entonces la
condicional es verdadera

2) Si el consecuente es Verdadero entonces


la condicional es verdadera

3) En la condicional p→ q se dice que:


p es suficiente para q
q es necesario para p
q→p es su recíproco
∼ q→∼p es su contrarrecíproco

TABLA DE VERDAD DE LA BICONDICIONAL

p q p↔q
V V V
V F F
F V F
F F V
La Bicondicional es Verdadera solo si
ambas proposiciones tienen el mismo valor de verdad
En la bicondicional p ↔ q se dice que:
Observacion
q es suficiente y necesario para p

TABLA DE LA DISYUNCIÓN EXCLUYENTE

p q p ∆q
V V F
La disyunción excluyente es Verdadera solo si ambas
V F V proposiciones tienen distinto valor de verdad
F V V
F F F

Observacion Si son verdaderas ambas a la vez la Disyunción


excluyente es FALSA
EQUIVALENCIAS LÓGICAS. TAUTOLOGÍA Y CONTRADICCIÓN
Definición: Dos fórmulas lógicas son equivalentes ( p ≡ q ) si tienen
el mismo valor de Verdad en cada Estado de Verdad.

p q p→q ~p ∨ q p q p ∨ (p ∧ q) p
V V V F V V V V V V V V
os
pl

V F F F F F V F V V F V
em

F V V V V V F V F F F F
Ej

F F V V V F F F F F F F
p→ q es equivalente a ~p ∨ q p ∨ (p ∧ q) es equivalente a p
p→ q ≡ ~p ∨ q p ∨ (p ∧ q) ≡ p

Definición: Una Fórmula Lógica es Tautología si es Verdadera en


cualquier estado de Verdad generado por las
proposiciones que la conforman.

Ejemplo p q (p → q) ∨ p
V V V V V
V F F V V
F V V V F
F F V V F (p → q) ∨ p es Tautología
(p → q) ∨ p ≡ V

Definición: Una Fórmula Lógica es Contradicción si es Falsa en


cualquier estado de Verdad generado por las
proposiciones que la conforman.

Ejemplo p q ~ (p → q) ∧ q
V V F V F V
V F V F F F
F V F V F V
F F F V F F ~ (p → q) ∧ q es Contradicción
~ (p → q) ∧ q ≡ F
Definición: Una Fórmula Lógica es Contingencia si no es
Tautología ni es Contradicción

Ejemplo p q ~ (p → q) ∧ p
V V F V F V
V F V F V V
F V F V F F
F F F V F F

~ (p → q) ∧ P es Contingencia

ÁLGEBRA PROPOSICIONAL
𝟏𝐚. 𝐩 ∨𝐩 ≡ 𝐩 𝟏𝐛. 𝐩∧ 𝐩 ≡ 𝐩
𝟐𝐚. 𝐩∨ 𝐪 ≡ 𝐪 ∨𝐩 𝟐𝐛. 𝐩∧𝐪 ≡ 𝐪 ∧𝐩
𝟑𝐚. 𝐩 ∨ (𝐪 ∨ 𝐫) ≡ (𝐩 ∨ 𝐪) ∨ 𝐫 𝟑𝐛. 𝐩 ∧ (𝐪 ∧ 𝐫) ≡ (𝐩 ∧ 𝐪) ∧ 𝐫
𝟒𝐚. 𝐩 ∨ (𝐪 ∧ 𝐫) ≡ (𝐩 ∨ 𝐪) ∧ (𝐩 ∨ 𝐫) 𝟒𝐛. 𝐩 ∧ (𝐪 ∨ 𝐫) ≡ (𝐩 ∧ 𝐪) ∨ (𝐩 ∧ 𝐫 )

𝟓𝐚. 𝐩 ∨ ~𝐩 ≡ 𝐕 𝟓𝐚. 𝐩 ∧ ~𝐩 ≡ 𝐅
𝟔𝐚. 𝐩∨ 𝐕 ≡𝐕 𝟔𝐚. 𝐩 ∧ 𝐕 ≡ 𝐩
𝟕𝐚. 𝐩∨ 𝐅 ≡ 𝐩 𝟕𝐚. 𝐩 ∧ 𝐅 ≡ 𝑭

Leyes de Morgan
𝟖𝐚. ~(𝐩 ∨ 𝐪) ≡ ~𝐩 ∧ ~𝐪 𝟖𝐛. ~ (𝐩 ∧ 𝐪) ≡ ~𝐩 ∨ ~q

Leyes de Absorción
𝟗𝐚. 𝐩 ∨ (𝐩 ∧ 𝐪) ≡ 𝐩 𝟗𝐛. 𝐩 ∧ (𝐩 ∨ 𝐪) ≡ 𝐩

Falsa Absorción
𝟏𝟎𝐚. 𝐩 ∨ (~𝐩 ∧ 𝐪) ≡ 𝐩 ∨ 𝐪 𝟏𝟎𝐛. 𝐩 ∧ (~𝐩 ∨ 𝐪) ≡ 𝐩 ∧ 𝐪
Condicional
𝟏𝟏. 𝐩 → 𝐪 ≡ ~𝐩 ∨ 𝐪 𝟏𝟐. 𝐩 → 𝐪 ≡ ~𝐪 → ~𝐩

Bicondicional 𝟏𝟑. 𝐩 ↔ 𝐪 ≡ (𝐩 → 𝐪) ∧ (𝐪 → 𝐩 )
Negación 𝟏𝟒. ~ (~𝐩) ≡ 𝐩 𝟏𝟓 . ~(𝐕) ≡ 𝐅 𝟏𝟔. ~(𝐅 ) ≡ 𝐕

Disyunción excluyente 𝟏𝟕. 𝐩 △ 𝐪 ≡ ~ (𝐩 ↔ 𝐪)

Bicondicional Disyunción excluyente


𝟏𝟖𝐚. 𝒑 ↔ 𝐩 ≡ 𝐕 𝟏𝟖𝐛. 𝒑 △ 𝐩 ≡ 𝐅
𝟏𝟗𝐚. 𝒑 ↔ 𝐪 ≡ 𝐪 ↔ 𝐩 𝟏𝟗𝐛. 𝒑 △ 𝐪 ≡ 𝐪 △ 𝐩

𝟐𝟎𝐚. ~ 𝐩 ↔ 𝐪 ≡ ~ 𝒑 ↔ 𝐪 𝟐𝟎𝐛. ~ 𝐩 △ 𝐪 ≡ ~𝒑 △ 𝐪
≡ (𝒑 ↔ ~ 𝐪) ≡ (𝒑 △ ~𝐪)
𝟐𝟏𝐚. ~ 𝐩 ↔ ~ 𝐪 ≡ 𝒑 ↔ 𝐪 𝟐𝟏𝐛. ~𝐩 △ ~𝐪 ≡ 𝒑 △ 𝐪

También podría gustarte