7/25/2019 TABLAS de VERDAD Definicion

http://slidepdf.com/reader/full/tablas-de-verdad-definicion 1/4

Hasta en la Wikipedia se puede encontrar:

Definiciones en el cálculo lógico

 Artículo principal: Cálculo lógico

.

Los operadores fundamentales se definen así:

(OJO: donde dice V = Verdadero también se puede escribir un 1; y donde dice F = Falso

también se puede escribir un . !" #O$%& L%& #%'L%&

Negación

La neaci)n es un operador  *ue se e+ecuta. sobre un ,nico -alor de -erdad

de-ol-iendo el -alor contradictorio de la proposici)n considerada.

Conjunción

La con+unci)n es un operador *ue opera sobre dos -alores de -erdad típicamente los

-alores de -erdad de dos proposiciones de-ol-iendo el -alor de -erdad verdadero cuando

ambas proposiciones son -erdaderas y falso en cual*uier otro caso. !s decir es

-erdadera cuando ambas son -erdaderas

La tabla de -erdad de la con+unci)n es la siuiente:

Disyunción

7/25/2019 TABLAS de VERDAD Definicion

http://slidepdf.com/reader/full/tablas-de-verdad-definicion 2/4

La disyunci)n es un operador *ue opera sobre dos -alores de -erdad típicamente

los -alores de -erdad de dos proposiciones de-ol-iendo el -alor de

-erdad verdadero cuando una de las proposiciones es -erdadera o cuando ambas

lo son y falso cuando ambas son falsas.

La tabla de -erdad de la disyunci)n es la siuiente:

[editar ]Implicación o Condicional

!l condicional material es un operador *ue opera sobre dos -alores de -erdad

típicamente los -alores de -erdad de dos proposiciones de-ol-iendo el -alor

de -erdad falso s)lo cuando la primera proposici)n es -erdadera y la seunda

falsa yverdadero en cual*uier otro caso.

La tabla de -erdad del condicional material es la siuiente:

También se usa el Bicondicional A B ,

Que es el famoso “si y sólo si…: !uiere decir !ue A B y [= conjunción] B A

"sté mismo deber#a $acer esa tabla… !ue %iene a coincidir con el si&no i&ual '

La tabla de -erdad del bicondicional es la siuiente:

7/25/2019 TABLAS de VERDAD Definicion

http://slidepdf.com/reader/full/tablas-de-verdad-definicion 3/4

Lo mismito con 1 y (de 'i*uillerato $ttp:(()))*educared*or&()iki+ducared(

-./-B/&ica0proposicional*$tml/

[editar ] Proposición conjuntiva

1 1 11 1

La con+unci)n es -erdadera s)lo cuando ambas -ariables lo son y es falsa en los dem0s casos.

&e lee y .

[editar ] Proposición disyuntiva inclusiva

1 1 11 1 1 1

La disyunci)n es -erdadera en todos los casos menos cuando -ale y -ale .

&e lee ) .

(… !"#$%&' de momento la llamada disyunción e)clusiva*+

 [editar ] Proposición condicional

1 1 11 1 1 1

!l condicional es -erdadero en todos los caso menos cuando -ale 1 y -ale .

&e lee condiciona a .

[editar ] Proposición ,icondicional

1 1 1

1 1 1

!l bicondicional es -erdadero cuando ambos son -erdaderos o cuando ambos son falsos y es falso en los dem0s casos.

&e lee bicondiciona a .

[editar ] Proposición negativa

1 1

%2O3% 4"O& !J!35656O& !L!7!"#%L8&67O&

"jercicios

2allar la tabla -eritati-a de las siuientes e9presiones:

!n primer luar allamos los -alores del primer paréntesis después los -alores del otro paréntesis; finalmente allamos los -alores del condicionalrelacionando los resultados de ambos paréntesis. La e9presi)n es una tautoloía.

[editar ] "jercicio -

1 1 1 1 11 1 1 1 1 1 1 1 1 1 1 !s una tautolog.a. (!"$6!"#! $! !<L65%56" >#%4#OLO?8%@/

[editar ] "jercicio /

1 1 1 1 1 1 1 1 1 1 1

1

7/25/2019 TABLAS de VERDAD Definicion

http://slidepdf.com/reader/full/tablas-de-verdad-definicion 4/4

[editar ] "jercicio 0

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 !s una tautolog.a.

[editar ] "jercicio 1

1 1 1 1 1 1 1 1 1 1 1 1

7A& !J!35656O& &67%#65O& ! 6"#!3!&%"#!& !":

$ttp:(()))*pa&inasobrefilosofia*com($tml(tablas*$tml12olutio3

A.T4546A6: +2T"64A 7 89+";TA A 6"6A2 A 89<=+…