Trabajo parcial

Presentado por

Carlos cantillo

Daniel castellar

Edwin Jiménez

Carlos Celis

Universidad simón bolívar

Facultad de administración y negocios

Barranquilla

2018

1
 Contenido

Introducción

1. la tabla de verdad

1.1. Definición
1.2. Características

1.3. Tipos de tablas

1.4. Tipos de proposiciones

1.5. Conclusiones

Bibliografías

2
 Definición
¿Para qué sirven las tablas de verdad? Las tablas de verdad nos permiten analizar cualquier fórmula
y hallar sus valores de verdad. Nos dice si una fórmula es satisfacible. Si un razonamiento es válido
o no. Constituye un procedimiento de decisión que en un número finito de pasos nos dice si una
fórmula es una tautología o no.

Las tablas de verdad es un diagrama que permite determinar claramente cuando una proposición
compuesta es verdadera, falsa o variada. Una estrategia de la lógica simple que permite establecer la
validez de varias propuestas en cuanto a cualquier situación, es decir, determina las condiciones
necesarias para que sea verdadero un enunciado propuesto, permitiendo clasificarlos en tautológicos
(resultan verdaderos durante cualquier situación) contradictorias (son enunciados falsos en la
mayoría de los casos) o contingentes (enunciados que no pueden será tantos verdaderos como falsos
no existen tendencia a un solo sentido).

Lista todos los posibles valores de una o varias proposiciones simples y el valor de verdad de una o
varias proposiciones compuestas construidas a partir de las proposiciones simples. En el caso más
sencillo tenemos simplemente una proposición simple y listamos los valores de verdad que puede
tener, que en el caso de la lógica proposicional son únicamente 2: verdadero (V) y falso (F).

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos, ¬, ∧, ∨, →, ↔,
como: no, o, y, si…entonces, sí y sólo si, respectivamente. La interpretación corresponde al sentido
que estas operaciones tienen dentro del razonamiento.

Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico
matemática. En consecuencia, las tablas de verdad constituyen un método de decisión para chequear
si una proposición es o no un teorema.

3
 Características
La tabla de verdad puede incluir tantas proposiciones simples como sea necesario, cada una listada
en su propia columna. La tabla debe tener una fila por cada combinación de valores de verdad de las
proposiciones simples. Si la tabla incluye dos proposiciones simples deberá tener 4 filas, si incluye
3 variables deberá tener 8 filas, si incluye 4 variables deberá tener 16 filas y así sucesivamente

En general una tabla debe tener 2^n filas, donde (n) es la cantidad de proposiciones simples. Por
ejemplo, la siguiente tabla tiene 3 proposiciones simples y por lo tanto debe tener 2^3 =8 filas, una

para cada una de las combinaciones de valores de verdad de las proposiciones. proposiciones.

a b r

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

Una vez que hemos listado las combinaciones de valores de verdad, podemos usar la tabla para
calcular los posibles valores de verdad de proposiciones compuestas

Permite diferentes aspectos del enunciado como las condiciones que lo hacen verdadero y cuáles
son sus conclusiones lógicas, es decir, si el enunciado propuesto es verdadero o falso. Esta tabla fue
ideada por Charles Sander Peirce aproximadamente en 1880, pero la más utilizada es el modelo
actualizado de Luidwin Wittgenstein en 1921.

4
 Tipos de tablas
Para la construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0 (cero) a una
proposición falsa.

Negación: El valor de verdad de la negación es el contrario de la proposición negada.

P ¬P

V f

F v

Conjunción: Solamente si las componentes de la conjunción son ciertas, la conjunción es cierta

P Q P∧Q

v v v

v v f

f v f

f f f

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el

consecuente es falso. De la verdad no se puede seguir la falsedad.

P Q P→ Q

V V V

V F F

F V V

F F V 5
Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de
verdad.

P Q P↔ Q

V V V

V F F

F V F

F F V

Negación: Si la proposición ‘P’ es verdadera, su negación (es decir, ‘no P’) será necesariamente
falsa. Si la proposición ‘A’ es falsa, entonces su negación será necesariamente verdadera.

Conjunción: para que la relación ‘P y Q’ sea verdadera, la proposición simple ‘P’ y la proposición
simple ‘Q’, deben serlo también. Si una de estas proposiciones simples es falsa, entonces la relación
conjuntiva es también necesariamente falsa.

Disyunción: para que la relación proposicional ‘P o Q’ sea verdadera, basta con que solo una de las
proposiciones simples lo sea. De ser ambas proposiciones falsas, entonces la relación de conjunción
también lo será.

Condicionalidad: la relación ‘si P entonces Q’ indica a la proposición ‘P’ como causa o

antecedente de ‘Q’, pero no como antecedente exclusivo, sino como una de las causas posibles de
‘Q’. Por esta razón, la condicionalidad solo será falsa cuando el antecedente o causa sea verdadero,
pero el efecto o consecuente no lo sea. De ser falso el antecedente o causa -dado que es solo una de
las posibles causas de ‘Q’- el consecuente puede ser verdadero y esto no niega la relación
condicional entre ‘P’ y ‘Q’.

6
Bicondicionalidad: a diferencia del caso anterior, en este tipo de relación proposicional, las
proposición simple ‘A’ es causa o antecedente exclusiva de ‘B’; y ‘B’ es antecedente también
exclusivo de ‘A’. Por ello, si una de las proposiciones simples es falsa y la otra verdadera, la
relación bicondicional es falsa.

Tipos de proposiciones

Podemos clasificar las proposiciones compuestas en tres categorías diferentes usando las
características de sus tablas de verdad: tautologías, contradicciones y contingencias.

Una tautología: es una proposición cuya tabla de verdad siempre es (V) para todos los casos
posibles, independientemente de los valores de verdad de las proposiciones que la componen. Por
ejemplo, la proposición A →(A V B) es verdadera para todas las posibles asignaciones de valores
de verdad de las proposiciones A y B tal y como lo podemos ver en su tabla de verdad.

podemos ver en su tabla de verdad.

A B AVB A → ( A V B)

V V V V

V F V V

F V V V

F F F V

7
Una contradicción: es el caso opuesto a una tautología. Su valor de verdad es F para todos los
valores de su tabla de verdad sin importar el valor de las proposiciones que la forman. La siguiente
tabla de verdad nos muestra que la expresión P ∧ ¬P es una contradicción porque es falsa sin
importar el valor de verdad de P. En lenguaje natural, esta expresión nos dice que P ser verdadera y
falsa al mismo tiempo.

P ¬P P∧¬P

V F F

F V F

CONCLUSIONES

Una tabla de verdad permite calcular el valor de verdad de proposiciones compuestas.

Una tabla de verdad debe tener 2n filas para listar todas las posibles combinaciones de valores de
verdad de las proposiciones simples que contiene.

Una proposición compuesta se debe dividir en sus proposiciones componentes para poder calcular
sus valores de verdad.

Una tautología es una proposición cuyo valor de verdad siempre es V para todas las asignaciones de
valores de verdad de sus proposiciones componentes.

Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico
matemática. En consecuencia, las tablas de verdad constituyen un método de decisión para chequear
si una proposición es o no un teorema.

BIBLIOGRAFIAS

- Lau, Joe; Chan, Jonathan. Sentential logic. Critical Thinking Web Consultado el 11 de diciembre
de 2015.

- Grimaldi, Ralph (1998). Matemáticas discreta y combinatoria (3.ª edición). Massachusetts,

Estados Unidos: Addison Wesley Longman. p. 1

- aprendeenlinea.udea.edu.co

- lógica simbólica por Felipe Berrios el 5 de marzo de 2016