1
Regla de inferencia: (p∧q)⇒p
2
Proposición que puede tomar tanto un valor verdadero como falso.
3
Cómo se denominan dos proposiciones que satisfacen que la doble implicación entre ellas es una tautología.
4
Oración declarativa que podemos asignarle un valor de verdad.
5
Sirven para combinar dos o más proposiciones obteniéndose una proposición compuesta.
6
Proposición que siempre es verdadera.
7
Implicación que se obtiene de otra implicación al intercambiar la hipótesis y la conclusión.
8
Forma en que deben expresarse las hipótesis y la conclusión de un razonamiento si se demuestra usando el método de resolución.
9
Método de demostración.
