Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Verdad
Grupo #2
Maestro:
Juan Francisco Lpez
Cruz
Fecha de entrega:
18 de marzo de 2015
Introduccin
Este
Objetivo General
Dar
Objetivo Especficos
Mostrar
Qu es una tabla de
verdad?
Es
Las
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.
Caractersticas
de las tablas de
verdad
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
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)
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
Es
Premisas Verdaderas
El
Premisas Falsas
El
Variables
Para
Negacin
Conjuncin
Disyuncin
Implicacin o Condicional
La tabla de verdad se
construye de la
siguiente manera:
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
Comprendimos
Anexos
Integrantes
N de Nombre
Lista
11.
N de
lista
Nombre
21.
Bryan Josu
Hernndez
22.
32.
Aminta Yamilteh
Amador
14.
Donald Hernndez
Erazo
47.
15.
52.
16.
04.
17.
Yarely Clariza
Rodrguez
28.
Dayana Suyapa
Hernndez
19.
43.
Jefferson Antonio
Perez
Gracias por su
atencin!