Quiz Flashcards
r es condición suficiente y necesaria para s
r → s
Es equivalente a la implicación
Contrapositiva
r es condición necesaria para s
s → r
Se basa en el hecho de que una afirmación universal es verdadera si no existe ejemplo que haga verdadera su negación.
Prueba por vacuidad
No es equivalente a la implicación
Recíproca e Inversa
Hace referencia a un único elemento del un dominio
Cuantificador existencial
Nombre de una sentencia donde las variables son sustituidas por valores
Proposición
r es condición suficiente para s
r → s
Una sentencia declarativa que contiene un número definido de variables
Predicado
Hace referencia a todos los elementos de un dominio
Cuantificador universal
Errores comunes en la argumentación
Recíproca e inversa