Tablas de la Verdad

Las tablas de verdad son, por una parte, uno de los métodos más sencillos y conocidos de la 

lógica formal, pero la mismo tiempo también uno de los más poderosos y claros. Entender 

bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma. En 

esta sesión haremos algunas reflexiones alrededor de las tablas de verdad cómo pretexto

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

• Como razonamientos deductivos lógico-lingüísticos
• Como construcción de un sistema matemático puro

Como una aplicación lógica en un Circuito de conmutación.