Lógica proposicional/La implicación/Evaluación

Plantilla:Título lección <quiz display=simple>

{¿Cuál símbolo se usa para representar la implicación? |type="()"} - $\sum$ - $\wedge$ - $\mathrm{\neg }$ + $\Rightarrow$

{En la siguiente tabla de verdad:

$P$	$Q$	$P\Rightarrow Q$
$V$	$V$	$V$
$V$	$F$	$F$
$F$	$V$	$V$
$?$	$F$	$V$

¿Cuál es el valor de verdad que falta?

|type="()"}

- $V$ + $F$

{¿Cuál es el valor de verdad de $C$ si el valor de verdad de la proposición $C\Rightarrow D$ es $F$? |type="()"}

+ $V$ - $F$

{¿Cuál es el antecedente en esta expresión: $A\Rightarrow J$? |type="()"}

- $A\Rightarrow J$ + $A$ - $\Rightarrow$ - $J$

{Si representamos con la letra $R$ el enunciado «$1+1=4$» y con $S$ el enunciado «El conjunto de los números naturales es infinito», ¿cuál es el valor de verdad de la expresión $R\Rightarrow S$? |type="()"}

+ $V$ - $F$

</quiz>