Tabla de la verdad

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

para establecer un sistema formal se establecen las definiciones de los operadores. las definiciones se harán en para establecer un sistema formal se establecen las definiciones de los operadores. las definiciones se harán encarar establecer  función del fin que se pretenda al construir el sistema que haga posible la formalización de argumento:

• Como razonamiento deductivo lógico-linguistico
• Como construcción de un sistema matemático puro
• Como una aplicación lógica en un Circuito de conmutación.