miércoles, 15 de septiembre de 2010

TABLAS DE VERDAD

Tabla de verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.

Negación




   \begin{array}{|c||c|}
      A & \neg A \\
      \hline
      V & F \\
      F & V \\
      \hline
   \end{array}


Conjunción
\begin{array}{|c|c||c|}
      A & B & A \and B \\
      \hline
      V & V & V \\
      V & F & F \\
      F & V & F \\
      F & F & F \\
      \hline
   \end{array}




Disyunción
\begin{array}{|c|c||c|}
      A & B & A \or B \\
      \hline
      V & V & V \\
      V & F & V \\
      F & V & V \\
      F & F & F \\
      \hline
   \end{array}
Implicación o Condicional
\begin{array}{|c|c||c|}
      A & B & A \to B \\
      \hline
      V & V & V \\
      V & F & F \\
      F & V & V \\
      F & F & V \\
      \hline
   \end{array}




Bicondicional
\begin{array}{|c|c||c|}
      A & B & A \leftrightarrow B \\
      \hline
      V & V & V \\
      V & F & F \\
      F & V & F \\
      F & F & V \\
      \hline
   \end{array}
 Disyunción exclusiva








p






q






pq






V






V






F






V






F






V






F






V






V






F






F






F