Ing.

Luz Adriana Monroy Martnez Lgica |1

Conectivas Lgicas

Las Conectivas Lgicas son aquellas que sirven para formar proposiciones compuestas.
Simblicamente las conectivas lgicas se representan del modo siguiente:

Conectiv Nombre Lgico Smbol

a o
No Negacin , ,
Y Conjuncin
O Disyuncin Inclusiva
OO Disyuncin Exclusiva
Si Implicacin o Condicional
entonces
Si y solo si Doble Implicacin o
Bicondicional

Enunciados Abiertos y Enunciados Cerrados

Un enunciado: es un conjunto de smbolos por medio de los cuales expresamos lo
pensado en un juicio, ya sea en forma oral o escrita.

Enunciados Abiertos o Simples: son aquellos que tienen un nico valor de verdad. Es el
que no tiene otro enunciado como parte componente. Ejemplo: Las rosas son rojas.

Enunciados Cerrados o compuestos: un enunciado compuesto contiene otro enunciado

como componente. Ejemplo: Las rosas son rojas y las violetas son azules.

Concepto de Proposiciones

Una proposicin es una oracin declarativa de la cual podemos asegurar que es verdadera
o que es falsa, pero no ambas situaciones a la vez.

Clasificacin de las Proposiciones

Proposiciones simples o atmicas: son aquellas que constan de un solo enunciado.

Proposiciones compuestas o moleculares: son las que constan de dos o ms

proposiciones simples entrelazadas por ciertas particularidades lgicas llamadas conectivas
lgicas.
 Ing. Luz Adriana Monroy Martnez Lgica |2

Clasificacin de las proposiciones compuestas

La negacin: la conectiva no es la que se antepone a una proposicin para cambiar su valor de

verdad y se representa por el smbolo o bien o bien .

La conjuncin: es una proposicin compuesta que se obtiene al unir dos proposiciones simples
unidas o entrelazadas mediante el conectivo y, y se representa con el smbolo:

La disyuncin Inclusiva: es una proposicin compuesta de dos proposiciones simples unidas por
el conectivo lgico o, que se representa de la manera siguiente .

La disyuncin Exclusiva: es una proposicin compuesta por dos proposiciones simples

entrelazadas por el conectivo oo y se representa as: V.

La condicional o Implicacin: es la combinacin de dos proposiciones unidas por la conectiva

sientonces, que se representa de la siguiente forma: . La proposicin que aparece entre
las palabras Si y Entonces, se denomina antecedente o hiptesis y la que aparece despus
de la palabra Entonces, se le llama consecuente o conclusin.

La Bicondicional o Doble implicacin: es una proposicin que se obtiene al unir dos

proposiciones simples mediante el conectivo si y solo si y se representa as: .
 p q pq
v v v
v I n g .f L u z Adriana Monroy f ez
Martn Lgica |3
f v F
f f F
p q pq
v v v
v f v
f v v
f f F

VALOR DE VERDAD DE LAS PROPOSICIONES COMPUESTAS Y SU

TABLA DE VERDAD
Nombre
Descripcin

p p
v f
f v
Tabla de Verdad
La Negacin
Si una proposicin (sea simple o compuesta) es verdadera, su negacin es falsa o viceversa.
Ejemplo:
si P es: Constanza es un municipio de la Vega,
P se leer: no es cierto que Constanza es un municipio de la Vega.

La conjuncin
Esta proposicin solo es verdadera cuando las dos proposiciones que la forman son verdaderas y
en los dems casos ser falsa.

La disyuncin Inclusiva
Esta proposicin es falsa nicamente cuando las dos proposiciones que la forman son falsas, en
caso contrario es verdadera.

La disyuncin exclusiva
Esta solo ser verdadera cuando las dos proposiciones que la componen tienen diferentes valores
de verdad, en caso contrario es falsa.

p q pq
v v f
v f v
f v v
f f f

La Condicional o Implicacin
Una condicional solo es falsa cuando su antecedente es verdadero y el consecuente es falso; en
los dems casos la condicional es verdadera.
 p q pq
v v v
v I n fg . Luz Adriana Monroy M a r tf n e z Lgica |4
f v f
fp fq pq
v
v v v
v f f
f v v
f f v

La Bicondicional o Doble Implicacin

Est solo es verdadera cuando las dos proposiciones que la forman tienen el mismo valor de
verdad, es decir, cuando las dos proposiciones que la forman ambas sean verdaderas o ambas
falsas. En caso contrario la Bicondicional es falsa.

Concepto de Tautologa

Una proposicin compuesta es lgicamente verdadera o tautolgica cuando es verdadera siempre,

independientemente de los valores de verdad de las proposiciones simples que la forman.
Ejemplo:
p(p
p q pvq
q)
v v v v
v f v v
f v v v
f f f v

Concepto de Contradiccin

La contradiccin: es una proposicin compuesta que es falsa independientemente de los valores

de verdad de las proposiciones que la formen.
Ejemplo:

p p pq
v f f
f v f

Concepto de contingencia
 Ing. Luz Adriana Monroy Martnez Lgica |5

La contingencia: es la combinacin de la tautologa y la contradiccin.

Ejemplo:

p q pq
v v v
v f f
f v v
f f v

Ejemplos de Tablas de verdad con tres proposiciones

1) Formula 2n, donde el 2 representa los dos valores posibles de una

proposicin (v o f) y la n el nmero de proposiciones. Por lo tanto para 3
proposiciones: 23, que es igual a 8 posibles combinaciones con 3 proposiciones.

p q r pq (pq)r
v v v v v
v v f v f
v f v v v
v f f v f
f v v v v
f v f v f
f f v f f
f f f f f

Ejemplo 2)

p q r pq (pq)r
v v v v v
 Ing. Luz Adriana Monroy Martnez Lgica |6

v v f v f
v f v f v
v f f f v
f v v f v
f v f f v
f f v f v
f f f f v

La lgica como sistema formal axiomtico

El mtodo axiomtico consiste en aceptar sin prueba ciertas proposiciones como axiomas o
postulados.
La principal caracterstica de un sistema axiomtico es que si puede demostrarse de alguna
manera la verdad de los axiomas, quedan automticamente garantizadas tanto la verdad como la
consistencia mutua de todos los teoremas.

Lo caracterstico del sistema axiomtico como realizacin de la idea de clculo consiste en

disponer de un conjunto de enunciados o frmulas que se admiten sin demostracin y a partir de
los cuales se obtienen todas las dems afirmaciones de la teora, las cuales se llaman teoremas y
las frmulas aceptadas sin discusin son axiomas o postulados.