PROGRAMA A

Apuntes

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA Verdad formal PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA Tablas de verdad Una tabla de valores de verdad es una arreglo matricial de los valores 𝑉(verdadero) y 𝐹(falso). El número de arreglos que posee la matriz final depende de la cantidad de variables que hayan. Variables Número de arreglos 𝑛 2𝑛 PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA Tablas de verdad Ejemplo: La proposición 𝑝 → ~𝑞 posee dos variables, de modo que su tabla de verdad tendrá: 𝑛° 𝑑𝑒 𝑎𝑟𝑟𝑒𝑔𝑙𝑜𝑠 = 22 = 4 Es decir, las variables 𝑝 y 𝑞 tienen cuatro combinaciones: p q V V V F F V F F PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA Tabla de Verdad Funciones veritativas de los conectores lógicos. 𝒑 𝒒 ~𝒑 𝒑 ∨ 𝒒 𝒑 ∧ 𝒒 𝒑∆𝒒 𝒑 → 𝒒 𝒑 ← 𝒒 𝒑 ↔ 𝒒 V V F V V F V V V V F F V F V F V F F V V V F v V F F F F V F F F V V V PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA Clasificación de las tablas de verdad Las tablas de verdad permiten clasificar a las formas proposicionales en tres tipos: Tautología (⊺)...