Hasta en la Wikipedia se puede encontrar:

Definiciones en el clculo lgico

Artculo principal: Clculo lgico

Los operadores fundamentales se definen as:

(OJO: donde dice V = Verdadero tambin se puede escribir un 1; y donde dice F = Falso
tambin se puede escribir un 0. EN TODAS LAS TABLAS
Negacin
La negacin es un operador que se ejecuta. sobre un nico valor de verdad,
devolviendo el valor contradictorio de la proposicin considerada.

Conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente 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

La tabla de verdad de la conjuncin es la siguiente:

Disyuncin

La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente

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.
La tabla de verdad de la disyuncin es la siguiente:

[editar]Implicacin o Condicional
El condicional material es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad falso slo cuando la primera proposicin es verdadera y la segunda
falsa, yverdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

Tambin se usa el Bicondicional A B ,

Que es el famoso si y slo si: quiere decir que A B y [= conjuncin] B A
Ust mismo debera hacer esa tabla que viene a coincidir con el signo igual =
La tabla de verdad del bicondicional es la siguiente:

Lo mismito con 1 y 0 (de Biquillerato,

http://www.educared.org/wikiEducared/L

%C3%B3gica_proposicional.html)
[editar] Proposicin conjuntiva
1
1
0
0

1
0
0
0

1
0
1
0

La conjuncin es verdadera slo cuando ambas variables lo son y es falsa en los dems casos.
Se lee

[editar] Proposicin disyuntiva inclusiva

1
1
0
0

1
1
1
0

1
0
1
0

La disyuncin es verdadera en todos los casos menos cuando

Se lee

vale 0 y

vale 0.

(. MESALTO de momento la llamada disyuncin exclusiva)

[editar] Proposicin condicional

1
1
0
0

1
0
1
1

1
0
1
0

El condicional es verdadero en todos los caso menos cuando

Se lee

condiciona a

vale 1 y

vale 0.

[editar] Proposicin bicondicional

1
1
0
0

1
0
0
1

1
0
1
0

El bicondicional es verdadero cuando ambos son verdaderos o cuando ambos son falsos, y es falso en los dems casos.
Se lee

bicondiciona a

[editar] Proposicin negativa

1
0

0
1

Y AHORA, UNOS EJERCICIOS ELEMENTALSIMOS

Ejercicios
Hallar la tabla veritativa de las siguientes expresiones:
En primer lugar hallamos los valores del primer parntesis, despus los valores del otro parntesis; finalmente hallamos los valores del condicional
relacionando los resultados de ambos parntesis. La expresin es una tautologa.
[editar] Ejercicio 1
1 0 0 1
1 1
1
1 1 1 1
0 1
1
0 0 0 1
1 0
0
0 0 1 1
0 1
0
Es una tautologa. (PENDIENTE DE EXPLICACIN TAUTOLOGA)
[editar] Ejercicio 2
1
1
0
0

1
0
0
0

1
0
1
0

1
1
0
0

1
1
0
0

0
1
0
0

0
1
0
1

[editar] Ejercicio 3
1 1
1 1 1 0
1 0
0 1 1 1
0 0
1 1 0 1
0 1
0 1 0 1
Es una tautologa.

0
1
0
0

[editar] Ejercicio 4
1
1
0
0

1
0
0
0

1
0
1
0

1
0
0
1

0
0
1
1

0
0
0
1

0
1
0
1

MS EJERCICIOS SIMPATICOS E INTERESANTES EN:

http://www.paginasobrefilosofia.com/html/tablas.html#Solutio5
ACTIVIDAD: ESTUDIA Y PREGUNTA LA DUDAS AL PROFE