“AÑO DE LA DIVERSIFICACIÓN PRODUCTIVA Y DEL FORTALECIMIENTO DE LA

EDUCACIÓN”

INSTITUTO DE EDUCACIÓN SUPERIOR TECNOLÓGICO PÚBLICO

FRANCISCO DE PAULA GONZALES VIGIL

Especialidad: Construcción Civil

Unidad Didáctica: Lógica y Funciones

Docente: Orlando H. Arce Chipana

Turno: Diurno

Semestre: I

Presentado por:

MAQUERA MACHACA, Smith Maveryck

TACNA-PERÚ
2015
PROPOSICIONES, CONECTIVOS LÓGICOS Y TABLAS DE VERDAD

Proposiciones simples y compuestas:
PROPOSICIÓN:
Es una oración de la que puede decirse que es verdadera o falsa pero no verdadera y falsa
simultáneamente.
Ejemplos:
- 10 es un número 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 más proposiciones simples
sin que pierda significado propio cada proposición.
Ejemplos:
- La vaca es un animal y un mamífero.
- 10 > 7 ó 12 > 9

Conectivos Lógicos:
Son aquellos términos que se usan para unir dos o más proposiciones.
Los conectivos lógicos son símbolos usados para combinar proposiciones simples dadas,
produciendo así otras llamadas proposiciones compuestas.
Los conectivos lógicos que usaremos son:

SIMBOLO OPERACIÓN ASOCIADA SIGNIFICADO

~ NEGACIÓN No p / No es cierto que p

CONJUNCIÓN Pyq

DISYUNCIÓN P ó q(En sentido incluyente)

IMPLICACIÓN Si p entonces q

DOBLE IMPLICACIÓN 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 proposición compuesta a partir de los valores de verdad de las proposiciones
simples.
Las tablas de verdad para los conectivos lógicos listados arriba son las siguientes:
Negación:
La negación de una proposición es una nueva proposición que tiene un valor de verdad
opuesto a la proposición original. Es decir, si el valor de verdad de una proposición 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

Disyunción:
La disyunción es la proposición compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo .
Esta proposición 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 proposición compuesta tenga valor de verdad
verdadero, basta con una de las proposiciones simples tenga valor de verdad verdadero.
Conjunción:
La conjunción es la proposición compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo . Esta proposición 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 proposición compuesta tenga valor de verdad
verdadero, ambas proposiciones simples deben tener valor de verdad verdadero.
Implicación:
La Implicación es la proposición compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo . Esta proposición compuesta de denota por y se lee p
implica q.
En esta proposición compuesta, la proposición simple p se llama antecedente, mientras que
la proposición 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 proposición 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 proposición compuesta es verdadero.
Doble implicación:
La doble implicación es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo .
Esta proposición 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 proposición compuesta tiene valor de verdad verdadero siempre
que las proposiciones simples tienen el mismo valor de verdad. Es cualquier otro caso, la
proposición compuesta tiene valor de verdad falso.

Las proposiciones compuestas pueden combinarse o conectarse para formar proposiciones
aún más complejas. Es claro que el valor de verdad de una proposición, por compleja que sea,
depende de los valores de verdad de las proposiciones que las componen en sus formas más
simples.
Para hacer la tabla de verdad de una proposición le asignamos una columna a cada
proposición que interviene, sea ésta simple o compuesta, normalmente comenzando con las
más simples y progresando en el orden de complejidad de las proposiciones componentes.
El número de filas de la tabla viene dado por la potencia , donde es el número de
proposiciones en la forma más simple que forman la proposición 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 continúa 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.