Proposiciones


Instituto Tecnológico de Mexicali


Carrera:
Ingeniería en sistemas computacionales

Materia:
Matemáticas Discreteas

Trabajo:
“Reporte de practica”

Alumnos:
Integrantes del equipo.•CASTRO CASTRO VICTOR ALFONSO - 14490824
•CARRASCO ANDRADE EDUARDO - 14490820
•CAMACHO ACOSTA IVAN - 14490818
•CESAR BATIZ RUIZ – 14490814
•ANGEL GUTIERREZ ROBLES - 14490968

Salón:
L-010Profesor:
López Castellanos Carlos

Mexicali, B.C 19 de septiembre de 2014

Tautología
Se determina como tautología cuando una proposición compuesta es verdadera para todos los valores de verdad,independientemente de sus proposiciones simples.




Contradicción
Se determina como contradicción cuando una proposición compuesta es falsa para todos los valores de verdad.,independientemente de sus proposiciones simples.
.



Contingencia
Una contingencia es cuando los resultados de una proposición compuesta en su tabla de verdad son variados, entre verdadero y falso (combinaciónentre tautologías y contradicciones).












Equivalencias lógicas
Una equivalencia lógica es cuando los resultados de dos proposiciones compuestas en sus tablas de verdad tienenlos mismos resultados, ejemplos:
p → q ⇔ ¬ p ∨ q
p
Q
¬ p
p → q
¬ p ∨ q
0
0
1
1
1
0
1
1
0
0
1
0
0
1
1
1
1
0
1
1


p ↔ q ⇔ (p → q) ∧ (q → p)
p
q
p → q
q → p
p ↔ q
(p → q) ∧ (q → p )
0
0
1
1
1
1
0
1
1
0
0
0
1
0
0
1
0
0
1
1
1
1
1
1






Definición
Sean p y q dos proposiciones cualesquiera, se dice que p y q son lógicamenteequivalentes, lo cual se denota por p ⇔ q (o bien por p ≡ q), cuando p y q poseen la misma tabla de verdad.








Estas son las equivalencias lógicas más utilizadas:





Conclusiones:
Esimportante especificar la proposición que se está llevando a cabo ya al momento de realizarse una podría confundirse. También es importante memorizar las leyes y los símbolos ya que en el caso de la...