Diferencia entre revisiones de «Tabla de verdad»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.164.1.43 a la última edición de Mansoncc |
|||
Línea 48:
Desgraciadamente, como vemos en las definiciones, hay diversas formas de simbolización gráfica de las funciones, si bien eso no es obstáculo para su definición.
== Funciones de verdad ==
* '''Negación''' (¬),(~)
Consiste en cambiar el valor de verdad de una variable proposicional.
<center>
{| class="wikitable" border="1" cellspacing="1" cellpadding="5"
|----- bgcolor="#e1ecf7"
! <big><big><math>A</math></big></big>
! <big><math>\lnot A</math></big>
|----- align="right" bgcolor="#f0f5fa"
| V || F
|----- align="right" bgcolor="#f0f5fa"
| F || V
|}
</center>
* '''Conjunción''' <math>\land</math>
La proposición molecular será verdadera sólo cuando ambas variables proposicionales sean verdaderas.(Columna 8 de la tabla de funciones posibles)
<center>
{| class="wikitable" border="1" cellspacing="1" cellpadding="5"
|----- bgcolor="#e1ecf7"
! <big><big><math>A</math></big></big>
! <big><big><math>B</math></big></big>
! <math>A \land B</math>
|----- align="center" bgcolor="#f0f5fa"
| V || V || V
|----- align="center" bgcolor="#f0f5fa"
| V || F || F
|----- align="center" bgcolor="#f0f5fa"
| F || V || F
|----- align="center" bgcolor="#f0f5fa"
| |||