Tablas de

Verdad
Grupo #2
Maestro:
Juan Francisco Lpez
Cruz
Fecha de entrega:
18 de marzo de 2015

Introduccin
Este

informe fue creado con el

motivo de explicar y dar informacin
acerca de lo que son las Tablas de la
verdad. Estas tablas son un conjunto
de herramientas que nos ayudan no
solo a resolver problemas de lgica
matemtica, sino que tambin nos
ayudan a desarrollar una capacidad
de
pensamiento
mediante
el
ejercicios de las mismas.

Objetivo General
Dar

a conocer los tipos de tablas

de la verdad que existen y
explicar de la mejor manera
posible cada una de ellas.

Objetivo Especficos
Mostrar

ciertos conceptos que

nos ayudaran a comprender el
porque de cada una de las
caractersticas de las tablas de
verdad.
Dar a conocer como pueden
facilitarnos ciertos trabajos, ya
sea en nuestra carrera como
estudiante o en nuestras vidas
cotidianas.

Qu es una tabla de
verdad?
Es

una tabla que muestra el valor

de verdad de una proposicin
compuesta,
para
cada
combinacin de verdad que se
pueda asignar.

Uso de signos lgicos

Pueden

construirse con estos

signos lgicos, , , , , ,
(como: no, o, y, sientonces, s y
slo si) respectivamente.

Las

tablas nos manifiestan los

posibles valores de verdad de
cualquier proposicin molecular, as
como el anlisis de la misma en
funcin de las proposiciones que la
integran
como por ejemplo:

Verdad Indeterminada o Contingencia

Se

entiende
por
verdad
contingente, o verdad de hecho,
aquella proposicin que puede
ser verdadera o falsa, segn los
valores de las proposiciones que
la integran.

Definiciones en el clculo
lgico:
Para

establecer un Sistema
formal
se
establecen
las
definiciones de los operadores.

Para qu sirven las

tablas de verdad?
Nos

permiten analizar cualquier

frmula y hallar sus valores de
verdad, nos dice si una frmula
es
satisfactoria,
si
un
razonamiento es vlido o no.

Caractersticas
de las tablas de
verdad

Toda tabla de verdad consta de

dos tipos de columnas:
Las

columnas de la izquierda
(llamadas de referencia)
en
donde se pondrn todas las
posibilidades
de
verdad
y
falsedad de las letras o variables
proposicionales.

las columnas de la derecha que

contienen los valores de verdad
de las funciones presentes en la
frmula.

Construccin de las columnas de los

argumentos
En

las
columnas
de
los
argumentos hay que consignar
los posibles valores de verdad de
las letras o variables presentes
en una frmula dada.

El

nmero de combinaciones
posibles es 2n, siendo n =
nmero de variables o el grado
de la frmula, y 2= a los valores
de verdad que podemos asignar:
verdadero (1), falso (0)

Las frmulas segn el nmero de

variables se clasifican en:
Frmulas

de orden uno, si n =1.

Ejemplo: la frmula (p p), o la
frmula ( p p)
Frmulas de orden dos, si n =2
Ejemplo: la frmula (p q), o
la frmula ( p q) q

3.Frmulas

de orden tres, si n =3
Ejemplo: la frmula ( p q)
s, o la frmula (p p) (s
q)

4.Frmulas

de orden n, si n = n

Construccin de las columnas de los juntores.

Es

necesario proceder en primer

lugar registrando la tabla de
verdad de los juntores de menor
dominancia hasta llegar a los de
mayor dominancia. Para ello es
suficiente con proceder de dentro
de la frmula afuera.

En las tablas de la verdad

influyen los siguientes
factores y esos son:

Premisas Verdaderas
El

valor verdadero se representa

con la letra V; si se emplea
notacin numrica se expresa
con un uno: 1; en un circuito
elctrico, el circuito est cerrado.

Premisas Falsas
El

valor falso se representa con la

letra F; si se emplea notacin
numrica se expresa con un cero:
0; en un circuito elctrico, el
circuito est abierto.

Variables
Para

una variable lgica A, B, C,...

que pueden ser verdaderas V, o
falsas
F,
los
operadores
fundamentales se definen as:

Negacin

Conjuncin

Disyuncin

Implicacin o Condicional

Equivalencia, doble implicacin o

Bicondicional

La tabla de verdad se
construye de la
siguiente manera:

Ocho filas que responden a los

casos posibles que pueden darse
segn el valor V o F de cada una de
las
proposiciones
A,
B,
C.
(Columnas 1, 2, 3)

Una columna (Columna 4) en la

que se establecen los valores de
aplicando la definicin del disyuntor
a los valores de B y de C en cada
una de las filas.(Columnas 2,3 4)

Una columna (columna 5) en la

que se establecen los valores
resultantes
de
aplicar
la
definicin de la conjuncin entre
los valores de A (columna 1) y
valores de la columna, (columna
4) que representarn los valores
de la proposicin completa, cuyo
valor de verdad es V o F segn la
fila de los valores de A, B, y C que
consideremos. (Columnas 1,4
5)

Conceptos que hay que

dominar para entender las
tablas de verdad
Aplicaciones
La aplicacin fundamental se
hace cuando se construye un
sistema lgico que moldea el
lenguaje natural sometindolo a
unas reglas de formalizacin del
lenguaje. Su aplicacin puede
verse en el clculo lgico.

Tautologas
Se
entiende
por
aquella
proposicin que en todos los
casos posibles de su tabla de
verdad su valor siempre es V.
Dicho de otra forma, su valor V
no depende de los valores de
verdad.

Contradiccin
Se
entiende por proposicin
contradictoria, o contradiccin,
aquella proposicin que en todos
los casos posibles de su tabla de
verdad su valor siempre es F.

Premisas
Afirmacin o idea que se da a
conocer como cierta y que sirve
de base a un razonamiento o
una discusin.

Conclusiones
Obtuvimos

mas conocimiento acerca de

lo que son las tablas de la verdad, ya que
muchos del grupo tenamos un concepto
muy pobre acerca de las mismas.

Comprendimos

los casos en los cuales

las tablas de la verdad nos pueden ser
de mucha ayuda en nuestra carrera
como estudiantes, de la misma manera
descubrimos que podemos aplicar dichas
tablas en nuestras acciones cotidianas.

Anexos

Integrantes
N de Nombre
Lista
11.

N de
lista

Nombre

Heidy Nicolle Girn

21.

Eber Mauricio Funes

Bryan Josu
Hernndez

22.

Alan Josu Flores

Mara Jos Rodrguez

32.

Aminta Yamilteh
Amador

14.

Donald Hernndez
Erazo

47.

Gracia Mara Rivera

15.

Edgar Alejandro Calix

52.

Mara de los ngeles

Torres

16.

Ricardo Josu Oyuela

04.

Ricardo Alberto vila

17.

Yarely Clariza
Rodrguez

28.

Dayana Suyapa
Hernndez

19.

Jeffry Eduardo Flores

43.

Jefferson Antonio
Perez

Gracias por su
atencin!