Diferencia entre revisiones de «Matemáticass/Lógica/Argumentos/Ejemplo 2»

Contenido eliminado Contenido añadido
Celso (discusión | contribs.)
Sin resumen de edición
Celso (discusión | contribs.)
Sin resumen de edición
Línea 26:
 
Hacemos la tabla de verdad para estas proposiciones, y debemos ver si cada vez que las premisas tienen valor de verdad verdadero, también lo tiene la conclusión.
 
<center>
 
{| class="wikitable"
|-
! <math> d </math> !! <math> t </math> !! <math> m </math> !! <math> f </math> !! <math> d\wedge t </math> !! <math> (d\wedge t)\rightarrow m </math> !! <math> m\rightarrow f </math> !! <math> \sim f </math> !! <math> \sim d\vee\sim t </math> !! <math> \sim f\rightarrow(\sim d\vee\sim t) </math>
|-
| <center>V</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>F</center> || <center>V</center>
|-
| <center>V</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>F</center>
|-
| <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>F</center> || <center>V</center>
|-
| <center>V</center> || <center>V</center> || <center>F</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>F</center>
|-
| <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center>
|-
| <center>V</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>V</center>
|-
| <center>V</center> || <center>F</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center>
|-
| <center>V</center> || <center>F</center> || <center>F</center> || <center>F</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>V</center>
|-
| <center>F</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center>
|-
| <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>V</center>
|-
| <center>F</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center>
|-
| <center>F</center> || <center>V</center> || <center>F</center> || <center>F</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>V</center>
|-
| <center>F</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center>
|-
| <center>F</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>V</center>
|-
| <center>F</center> || <center>F</center> || <center>F</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>F</center> || <center>V</center> || <center>V</center>
|-
| <center>F</center> || <center>F</center> || <center>F</center> || <center>F</center> || <center>F</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>V</center> || <center>V</center>
|}
 
</center>