AO DE LA DIVERSIFICACIN PRODUCTIVA Y DEL FORTALECIMIENTO DE LA

EDUCACIN

INSTITUTO DE EDUCACIN SUPERIOR TECNOLGICO PBLICO

FRANCISCO DE PAULA GONZALES VIGIL

Especialidad: Construccin Civil

Unidad Didctica: Lgica y Funciones

Docente: Orlando H. Arce Chipana

Turno: Diurno

Semestre: I

Presentado por:

MAQUERA MACHACA, Smith Maveryck

TACNA-PER
2015
 PROPOSICIONES, CONECTIVOS LGICOS Y TABLAS DE VERDAD

Proposiciones simples y compuestas:

PROPOSICIN:
Es una oracin de la que puede decirse que es verdadera o falsa pero no verdadera y falsa
simultneamente.
Ejemplos:
- 10 es un nmero primo (F)
- La nieve es blanca (V)
PROPOSICIONES SIMPLES:
Son aquellas proposiciones que no pueden descomponerse en otras proposiciones sin perder
su significado.
Ejemplo:
- 4 x 3 = 20 8
- 10 > 14
PROPOSICIONES COMPUESTAS:
Son aquellas proposiciones que pueden descomponerse en dos o ms proposiciones simples
sin que pierda significado propio cada proposicin.
Ejemplos:
- La vaca es un animal y un mamfero.
- 10 > 7 12 > 9

Conectivos Lgicos:
Son aquellos trminos que se usan para unir dos o ms proposiciones.
Los conectivos lgicos son smbolos usados para combinar proposiciones simples dadas,
produciendo as otras llamadas proposiciones compuestas.
Los conectivos lgicos que usaremos son:

SIMBOLO OPERACIN ASOCIADA SIGNIFICADO

~ NEGACIN No p / No es cierto que p

CONJUNCIN Pyq

DISYUNCIN P q(En sentido incluyente)

IMPLICACIN Si p entonces q

DOBLE IMPLICACIN P si y solo si q

DIFERENCIA SIMETRICA P q (en sentido excluyente)

Tablas de Verdad
Definimos una tabla de verdad como un arreglo que nos permite tener los posibles valores de
verdad de una proposicin compuesta a partir de los valores de verdad de las proposiciones
simples.
Las tablas de verdad para los conectivos lgicos listados arriba son las siguientes:
Negacin:
La negacin de una proposicin es una nueva proposicin que tiene un valor de verdad
opuesto a la proposicin original. Es decir, si el valor de verdad de una proposicin p es
verdadero, entonces el valor de verdad de ~p es falso.
La tabla de verdad para el conectivo ~ est dada por

p ~p

V F

F V

Disyuncin:
La disyuncin es la proposicin compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo .
Esta proposicin compuesta de denota por y se lee p o q.
La tabla de verdad para el conectivo est dada por

p q

V V V

V F V

F V V

F F F

Se puede ver que para que una proposicin compuesta tenga valor de verdad
verdadero, basta con una de las proposiciones simples tenga valor de verdad verdadero.
Conjuncin:
La conjuncin es la proposicin compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo . Esta proposicin compuesta de denota por y se lee p y q. La
tabla de verdad para el conectivo est dada por

p q

V V V

V F F

F V F

F F F

Se puede ver que para que una proposicin compuesta tenga valor de verdad
verdadero, ambas proposiciones simples deben tener valor de verdad verdadero.
Implicacin:
La Implicacin es la proposicin compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo . Esta proposicin compuesta de denota por y se lee p
implica q.
En esta proposicin compuesta, la proposicin simple p se llama antecedente, mientras que
la proposicin simple q se llama consecuente. La tabla de verdad para el conectivo est
dada por

p q

V V V

V F F

F V V

F F V
Se puede ver que una proposicin compuesta tiene valor de verdad falso solamente
cuando el antecedente es verdadero y el consecuente es falso. En cualquier otro caso, el valor
de verdad de la proposicin compuesta es verdadero.
Doble implicacin:
La doble implicacin es la proposicin compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo .
Esta proposicin compuesta se denota por y se lee p si y solo si q.
La tabla de verdad para el conectivo est dada por

p q

V V V

V F F

F V F

F F V

Se puede ver que la proposicin compuesta tiene valor de verdad verdadero siempre
que las proposiciones simples tienen el mismo valor de verdad. Es cualquier otro caso, la
proposicin compuesta tiene valor de verdad falso.

Las proposiciones compuestas pueden combinarse o conectarse para formar proposiciones

an ms complejas. Es claro que el valor de verdad de una proposicin, por compleja que sea,
depende de los valores de verdad de las proposiciones que las componen en sus formas ms
simples.
Para hacer la tabla de verdad de una proposicin le asignamos una columna a cada
proposicin que interviene, sea sta simple o compuesta, normalmente comenzando con las
ms simples y progresando en el orden de complejidad de las proposiciones componentes.
El nmero de filas de la tabla viene dado por la potencia , donde es el nmero de
proposiciones en la forma ms simple que forman la proposicin compuesta dada.
Para asignar los valores de verdad a dichas proposiciones simples, se procede de la forma
siguiente:

la primera columna se llena asignando valores V a la mitas de las filas y valores F a la

mitad siguiente.
 la segunda columna se llena asignando valores V a un cuarto de las filas, valores F al
segundo cuarto, valores V al tercer cuarto y valores F al ltimo cuarto de filas de esa
columna.
la tercera columna se llena asignando valores V a un octavo de las filas, valores F al
segundo octavo, valores V al tercer octavo, etc.
As, se contina hasta que terminen las columnas de las proposiciones simples. Las columnas
de las otras proposiciones se llenan a partir de las columnas de las proposiciones simples,
usando las tablas de verdad definidas antes.