Matemática Básica

Guillermo Ernesto Ruiz Anduray

 Unidad 1: Lógica Simbólica e
Inferencial.
Conectores lógicos y tablas de verdad.
Tautología, Contradicción, Contingencia.
Proposiciones lógicamente equivalentes.
Subcompetencia: Utiliza las operaciones elementales de la Lógica
Simbólica para inferir razonamientos que cumplan con las reglas de
estructuras básicas.
 Pasos para Construir una Tabla de Verdad
 
1. Determinar el número de filas de la tabla mediante la fórmula , donde n es
el número de proposiciones simples identificadas en el texto o la expresión
simbólica.

2. Determinar el número de columnas de la tabla, identificando el número de

conectores presentes, más el número de proposiciones simples presentes
y el número de proposiciones negativas presentes.

3. El orden de las columnas en la tabla será: Primero, las proposiciones

simples, segundo, las proposiciones negativas, luego las conexiones de
adentro hacia afuera; la última columna contiene la conexión principal.
4. Las proposiciones simples se escriben en las columnas en el mismo
orden en que fueron definidas (p, q, r, s, etc.)

5. Las proposiciones negadas se escriben en el mismo orden en que se

escribieron las proposiciones afirmativas.

6. En la primera columna, las filas se llenan la mitad con valor de V

(verdad) y la segunda mitad con valores F (falsos).

7. La segunda columna, contendrá en su primera mitad, la mitad de ella

verdadera y la segunda falsa, luego la segunda mitad de la misma
manera, es decir primera mitad verdad y la segunda mitad falsa.

8. De haber más columnas, se repite el procedimiento.

9. Si la última columna de la tabla de verdad contiene todas sus
entradas como verdaderas (V), se dice que es una Tautología.

10. Si la última columna de la tabla de verdad contiene todas sus entradas

como falsas (F), se dice que es una Contradicción.

11. Si no se trata de una Contradicción ni de una Tautología, se le

denomina Contingencia. (Última columna de la tabla de verdad contiene
entradas de al menos un valor falso o al menos un valor verdadero).
 Construya la Tabla de Verdad para las siguientes
Proposiciones Compuestas y clasifíquelas.
  1) Número de proposiciones simples (n) = 2
Número de filas (2n) = 22 = 4
Número de columnas = 3 + 2 + 0 = 5
  𝑝 𝑞  𝑝→𝑞
   𝑝 ∧( 𝑝 → 𝑞)  [ 𝑝 ∧( 𝑝 → 𝑞) ] ⟹ 𝑞
𝑉  𝑉  𝑉  𝑉  𝑉 
𝑉  𝐹  𝐹  𝐹  𝑉 
𝐹  𝑉  𝑉  𝐹  𝑉 
𝐹  𝐹  𝑉  𝐹  𝑉 

Es una Tautología
  2) Número de proposiciones simples (n) = 2
Número de filas (2n) = 22 = 4
Número de columnas = 3 + 2 + 2 = 7

  𝑝 𝑞  ¬  𝑝 ¬𝑞
  𝑝 ∧𝑞  ¬ 𝑝 ∧¬ 𝑞  ( 𝑝 ∧𝑞 ) ∧ ( ¬ 𝑝 ∧¬ 𝑞 )
 

𝑉  𝑉  𝐹  𝐹  𝑉  𝐹  𝐹 
𝑉  𝐹  𝐹  𝑉  𝐹  𝐹  𝐹 
𝐹  𝑉  𝑉  𝐹  𝐹  𝐹  𝐹 
𝐹  𝐹  𝑉  𝑉  𝐹  𝑉  𝐹 

Es una Contradicción
3. La cosecha sobrevivirá, sí y sólo si se construyen zanjas de riego; y si la
cosecha no sobrevive, los campesinos tendrán que emigrar.
p : La cosecha sobrevivirá.
 ( 𝑝 ↔ 𝑞) ∧ (¬ 𝑝 → 𝑟 )
q : Se construyen zanjas de riego. Número de proposiciones simples (n) = 3
Número de filas (2n) = 23 = 8
r : Los campesinos tendrán que emigrar. Número de columnas = 3 + 3 + 1 = 7
  𝑝 𝑞  𝑟  ¬  𝑝   𝑝 ↔ 𝑞  ¬ 𝑝 → 𝑟  ( 𝑝 ↔ 𝑞 ) ∧ ( ¬ 𝑝 → 𝑟 )
𝑉  𝑉  𝑉  𝐹  𝑉  𝑉  𝑉 
𝑉  𝑉  𝐹  𝐹  𝑉  𝑉  𝑉 
𝑉  𝐹  𝑉  𝐹  𝐹  𝑉  𝐹 
𝑉  𝐹  𝐹   𝐹  𝑉 𝐹  Es una
𝐹 
𝐹  𝑉  𝑉  𝑉  𝐹  𝑉  𝐹  Contingencia
𝐹  𝑉  𝐹  𝑉  𝐹  𝐹  𝐹 
𝐹  𝐹  𝑉  𝑉  𝑉  𝑉  𝑉 
𝐹  𝐹  𝐹  𝑉  𝑉  𝐹  𝐹 
 Proposiciones lógicamente equivalentes

Dos proposiciones son lógicamente equivalentes si al

conectarlas mediante la bicondicionante se obtiene una
proposición que es una tautología.

Indique si el par de proposiciones dadas es un par de

proposiciones lógicamente equivalentes:

  𝑝 → 𝑞 , ¬ ( 𝑝 ∧¬ 𝑞 ) → 𝑟
 Número de proposiciones simples (n) = 3
 
Número de filas (2n) = 23 = 8
¿Es una tautología?
Número de columnas = 5 + 3 + 1 = 9
𝒑  𝒒  𝒓  ¬𝒒
   𝒑 → 𝒒 (  𝒑 ∧¬ 𝒒 ) ¬   ( 𝒑 ∧¬ 𝒒 ) → 𝒓 (  𝒑 → 𝒒 ) ⟺ [ ¬ ( 𝒑 ∧ ¬ 𝒒 ) → 𝒓   ]
  ( 𝒑 ∧¬ 𝒒 ) ¬
𝑉  𝑉  𝑉  𝐹  𝑉  𝐹  𝑉  𝑉  𝑉 
𝑉  𝑉  𝐹  𝐹  𝑉  𝐹  𝑉  𝐹  𝐹 
𝑉  𝐹  𝑉  𝑉  𝐹  𝑉  𝐹  𝑉  𝐹 
𝑉  𝐹  𝐹  𝑉  𝐹  𝑉  𝐹  𝑉  𝐹 
𝐹  𝑉  𝑉  𝐹  𝑉  𝐹  𝑉  𝑉  𝑉 
𝐹  𝑉  𝐹  𝐹  𝑉  𝐹  𝑉  𝐹  𝐹 
𝐹  𝐹  𝑉  𝑉  𝑉  𝐹  𝑉  𝑉  𝑉 
𝐹  𝐹  𝐹  𝑉  𝑉  𝐹  𝑉  𝐹  𝐹 
No es una tautología. Por tanto, el par de proposiciones
dadas no son lógicamente equivalentes.
 Ejercicios para resolver en clases

Ejercicios 1.3 Números 3, 5 y 12 página 14 del libro

ZILL, Dennis. 2012. Algebra, trigonometría y geometría

analítica. 3ª Edición. México D.F.. McGraw Hill.