Ejercicios 1.
I. Escribe los conectivos y sus valores de verdad
II. Escribe tres proposiciones simples, nómbralas como se acostumbra en
lógica proposicional, a partir de estas, construye 10 proposiciones
compuestas y la forma proposicional correspondiente a cada una.
III. Escribe un ensayo sobre tablas de verdad (redacte pensando en que
pueda entenderlo un estudiante de 3ro de secundaria).
Vamos a iniciar este ensayo definiendo lo que es una tabla de verdad, esta es un
arreglo que nos permite tener los posibles valores de verdad de una proposición
compuesta a partir de los valores de verdad de las proposiciones simples.
Definiremos los conectivos lógicos que permiten relacionar proposiciones simples
para convertirlas en proposiciones compuestas.
Los conectivos lógicos son símbolos usados para combinar proposiciones simples
dadas, produciendo así otras llamadas proposiciones compuestas.
Los conectivos lógicos que usaremos son
Negación (~)
La negación de una proposición es una nueva proposición que tiene un valor de verdad
opuesto a la proposición original. Es decir, si el valor de verdad de una proposición p es
verdadero, entonces el valor de verdad de ~p es falso.
La tabla de verdad para el conectivo ~ está dada por
p ~p
V F
F V
Disyunción (˅)
La disyunción es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo ˅.
La tabla de verdad para el conectivo ˅ está dada por
p q p˅q
V V V
V F V
F V V
F F F
Conjunción (˄)
La conjunción es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo ˄.
Esta proposición compuesta de denota por ˄ y se lee p y q.
La tabla de verdad para el conectivo está dada por
p q p ˄q
V V V
V F F
F V F
F F F
Condicionante (→)
La condicional es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo →.
Esta proposición compuesta de denota por → y se lee p implica q.
En esta proposición compuesta, la proposición simple p se llama antecedente, mientras
que la proposición simple q se llama consecuente.
La tabla de verdad para el conectivo está dada por
p q p→q
V V V
V F F
F V V
F F V
Bicondicionante (↔)
La bicondicional es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo ↔.
Esta proposición compuesta se denota por y se lee p si y solo si q.
La tabla de verdad para el conectivo está dada por
p q p↔q
V V V
V F F
F V F
F F V
IV. Escribe un ensayo sobre la importancia y aplicación de las tablas de
verdad (incluya aplicaciones a la electrónica y a las ciencias puras).
La aplicación más importante de las tablas de verdad procede del hecho de que,
interpretando los valores lógicos de verdad como 1 y 2 en el sentido: Valor 1: corriente
eléctrica Valor 2: ausencia de dicha corriente, podemos obtener una salida 1 o 2 según unas
condiciones definidas a través de las compuertas lógicas que utilicemos y que finalmente
son expresadas por medio de una tabla de verdad.
Mediante dichas tablas podemos expresar en lenguaje de maquina el comportamiento
de las compuertas lógicas como por ejemplo AND, NAND, OR, XOR ,NOR , y la función
NOT, que han hecho posible la construcción de aparatos capaces de realizar operaciones a
velocidades increíbles. Por lo tanto nos permiten programar simulaciones lógicas de
inteligencia artificial con lenguajes propios que nos permiten contextualizar la lógica
cableada y los circuitos combinacionales, los cuales son pilares fundamentales de la
automatización industrial, mediante ellas podemos expresar en lenguaje de maquina (ceros
y unos) problemas que se presenten en la vida cotidiana y que requieran realizarse de una
manera rápida y eficiente, en pocas palabras nos permiten automatizar procesos, por lo
tanto han hecho posible la construcción de aparatos capaces de realizar operaciones
matemáticas a velocidades increíbles como lo son las computadoras u ordenadores.
La Tabla de la verdad es una herramienta imprescindible que se utiliza para programar
simulaciones lógicas de inteligencia artificial con lenguajes propios que nos permiten
interactuar con las maquinas que realizan los procesos que son de nuestro interés ya que
deseamos realizarlos de una manera más rápida y eficiente.
V. Realice la tabla de verdad de 15 de las siguientes formas
proposicionales, clasifíquelas según el resultado; escoja 5 y explique la
importancia de estas diez al desarrollo de la ciencia.
1) ~(~𝑝) ⟺ 𝑝
p (~p) ~(~p) ~(~p)↔p
F V F V
V F V V
2) (𝑝⋁𝑞) ⟺ (𝑞⋁𝑝)
p q (pvq) (pvq)↔(pvq)
F F F V
F V V V
V F V V
V V V V
3) (𝑝⋀𝑞) ⟺ (𝑞⋀𝑝)
p q (p^q) (p^q)↔(p^q)
F F F V
F V F V
V F F V
V V V V
4) (𝑝⋁𝑞) ⟺ 𝑝
p q (pvq) (pvq)↔p)
F F F V
F V V F
V F V V
V V V V
5) (𝑝⋀𝑞) ⟺ 𝑝
p q (p^q) (p^q)↔p
F F F V
F V F V
V F F F
V V V V
6) ∼ (𝑝⋁𝑞) ⟺ (∼ 𝑝 ⋀ ∼ 𝑞)
p q (pvq) ~(pvq) ~p ~q (~p)v(~q) ~(pvq)↔(~p^~q)
F F F V V V V V
F V V F V F F V
V F V F F V F V
V V V F F F F V
7) ∼ (𝑝⋀𝑞) ⟺ (∼ 𝑝 ⋁ ∼ 𝑞)
p q (p^q) ~(p^q) (~p) (~q) (~p)v(~q) ~(p^q)↔(~p)v(~q)
F F F V V V V
F V F V V F V
V F F V F V V
V V V F F F F
8) (𝑝⋀𝑞) ⟺ (∼ 𝑝 ⋁ ∼ 𝑞)
p q (p˄q) (~p) (~q) (~p)v(~q) (p˄q)↔(~pv~q)
F F F V V V F
F V V V F V F
V F V F V V F
V V V F F F F
9) (𝑝 → 𝑞) ⟺ (∼ 𝑝⋁𝑞)
p q (p→q) (~p) (~pvq) (p→q)↔(~pvq)
F F V V V V
F V V V V V
V F F F F V
V V V F V V
10) (𝑝⋁𝑞) ⟺ (∼ 𝑝 → 𝑞)
p q (pvq) (~p) (~p→q) (pvq)↔(~p→q)
F F F V F V
F V V V V V
V F V F V V
V V V F V V
11) 𝑝 → (𝑝⋁𝑞)
p q (pvq) p→(pvq)
F F F V
F V V V
V F V V
V V V V
12) (𝑝⋀𝑞) → 𝑝
p q (p^q) (p^q)→p
F F F V
F V F V
V F F V
V V V V
13) [𝑝⋀(𝑝 → 𝑞)] ⇒ 𝑞
p q (p→q) [p^(p→q)] [p^((p→q)]→q
F F V F V
F V V F V
V F F F V
V V V V V
14) [(𝑝⋁𝑞)⋀ ∼ 𝑝)] ⇒ 𝑞
p q (pvq) (~p) [(pvq)^~p)] [(pvq)^~p]→q
F F F V F V
F V V V V V
V F V F F V
V V V F F V
15) 𝑝 ⇒ [𝑞 → (𝑝⋀𝑞)]
p q (p^q) [q→(p^q)] p→[(q→(p^q)]
F F F V V
F V F F V
V F F V V
V V V V V
