República Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación Superior

Instituto Universitario de Tecnología Industrial
“Rodolfo Loero Arismendi”
I.U.T.I.R.L.A
Extensión Maturín

Tab
la
de
Profesor:

Aureliano Alfonzo
Bachiller:

Edduin Astudillo

la Noviembre de 2021
C.I: 29.642.957

verd
ad
 Introducción
El siguiente trabajo está enfocado sobre la tabla de la verdad se habla de cómo su uso en la
lógica es básico para saber que lógica usar correctamente varias ideas o propuestas en
cuanto la situación establecida o problema establecido a base verdadero o falso
 Desarrollo
1) ¿Tabla de la verdad?
Las tablas de la verdad es una estrategia de la lógica simple que permite establecer la
validez de unas 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).

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 en1921.
La construcción de la tabla está fundamentada en la utilización de una letra para las
variables del resultado y las mismas se cumplen se dicen que son verdaderas, en el caso
contrario de que no se cumpla se les asigna el apelativo de falsas, por ejemplo: enunciado:
“Si nos mudamos, mil perro se muere”. Variable: A: Si se muda- B: el perro se muere.
Si se dice que verdadera a ambas variables se les asigna la letra (V) y representa la
positividad del enunciado, si algunas de la variables no se cumple se les asigna la letra (F)
esto no representa la falsedad del enunciado ya que con cumplirse en una sola variable se
puede designar como verdadero, eso dependerá del enunciado. Cuantos ambos valores
resultan verdaderos en todas las ocasiones se dice que existe una conjugación en el
enunciado. En cambio sí se obtiene dos resultados verdaderos y luego uno verdadero y el
otro falso se dice que existe una disyunción
Definiciones en el cálculo lógico
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.

Verdad
El valor verdadero se representa con la letra V; si se
emplea notación numérica se expresa con un uno: 1;
en un circuito eléctrico, el circuito está cerrado
cuando está presente la afirmación de V.

Falso
El valor falso F; si se emplea notación
numérica se expresa con un cero: 0; en un
circuito eléctrico, el circuito está abierto

Variable
Para una variable lógica A, B, C,...
pueden ser verdaderas V, o falsas F, los
operadores fundamentales se definen así:
Negación

La negación operador que se ejecuta, sobre un

único valor de verdad, de volviendo el valor
contradictorio de la proposición considerada.

Conjunción

La conjunción es un operador, que actúa sobre

dos valores de verdad, típicamente los valores
de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir, es verdadera
cuando ambas son verdaderas.
En términos más simples, será verdadera cuando las dos proposiciones son verdaderas.
La tabla de verdad de la conjunción es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental.

En simbología "∧" hace referencia al conector "y"
Disyunción
La disyunción es un operador lógico que actúa sobre
dos valores de verdad, típicamente los valores de verdad
de dos proposiciones, devolviendo el valor de verdad
verdadero cuando una de las proposiciones es
verdadera, o cuando ambas lo son, y falso  cuando
ambas son falsas.
En términos más simples, será verdadera cuando por lo
menos una de las proposiciones es verdadera de lo
contrario será falsa.
La tabla de verdad de la disyunción es la siguiente:

Que se corresponde con la columna 2 del algoritmo fundamental.

Implicación o condicional
El condicional material es un operador que actúa sobre
dos valores de verdad, típicamente los valores de
verdad de dos proposiciones, devolviendo el valor de
falso sólo cuando la primera proposición es verdadera
y la segunda falsa, y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la
siguiente:

Que se corresponde con la columna 5 del algoritmo fundamental.

Equivalencia, doble implicación o Bicondicional
La bicondicional es una operación binaria
lógica que asigna el valor verdadero cuando
las dos variables son iguales y el valor falso
cuando son diferentes.
La tabla de verdad del bicondicional es la
siguiente:

Que se corresponde con la columna 7 del algoritmo fundamental.

 Conclusión
Se nos manifiesta todo lo que implican y las relaciones sintácticas entre las diversas
proposiciones. La gran cantidad de operaciones que hay que hacer para una proposición con
más de una o dos variables.
 Bibliografía

Educatube.org
Es.calameo.com
Virtual.itca.edu.sv
www.monografias.com
Es.wikipedia.org