Matematica I - 01
Matematica I - 01
Matematica I - 01
ACTIVIDAD N° 01
Estudiamos en este apartado las distintas formas de conectar proposiciones entre sı. Prestaremos especial atención
a las tablas de verdad de las proposiciones compuestas que pueden formarse utilizando las distintas conexiones.
1. CONJUNCIÓN
Dadas dos proposiciones cualesquiera p y q, llamaremos conjunción de ambas a la proposición compuesta “p
y q” y la notaremos p ∧ q. Esta proposición será verdadera únicamente en el caso de que ambas
proposiciones lo sean.
2. Disyunción
Dadas dos proposiciones cualesquiera p y q, llamaremos disyunción de ambas a la proposición compuesta “p
´o q” y la notaremos p ∨ q. Esta proposición será verdadera si al menos una de las dos p ´o q lo es.
3. Negación
Dada una proposición cualquiera, p, llamaremos “negación de p” a la proposición “no p” y la notaremos ~p.
Sera verdadera cuando p sea falsa y falsa cuando p sea verdadera.
4. Proposición Condicional
Dadas dos proposiciones p y q, a la proposición compuesta “si p, entonces q” se le llama “proposición
condicional” y se nota por p −→ q A la proposición “p” se le llama hipótesis, antecedente, premisa o
condición suficiente y a la “q” tesis, consecuente, conclusión o condición necesaria del condicional. Una
proposición condicional es falsa únicamente cuando siendo verdad la hipótesis, la conclusión es falsa (no se
debe deducir una conclusión falsa de una hipótesis verdadera). De acuerdo con esta definición su tabla de
verdad es:
5. Proposición bicondicional
Dadas dos proposiciones p y q, a la proposición compuesta “p si y sólo si q” se le llama “proposición
bicondicional” y se nota por p ←→ q, Por tanto, su tabla de verdad es:
MATEMATICA I CICLO I – 2021
6. Tautologías y Contradicciones
Sea P una proposición compuesta de las proposiciones simples p, q, r, s. P es una Tautología si es
verdadera para todos los valores de verdad que se asignen a p, q, r, s
P es una Contradicción si es falsa para todos los valores de verdad que se asignen a p, q, r, s.
En adelante, notaremos por “C” a una contradicción y por “T” a una tautología.
Actividades
~ (~p → ~q)
(p → q) ∧ (q → p)
[p ∧ (q ∨ r)] → [(p ∧ q) ∨ (p ∧ r)]
(p ∨ ~q) −→ q
p → (p ∨ q)
(p ∧ q) → p
[(p ∧ q) ←→ p] → (p ←→ q)
[(p → q) ∨ (r → s)] → [(p ∨ r) → (q ∨ s)]