Texto extraído del libro “Introducción a la lógica para informáticos”
Autor: M.A. José Luis Ola García, 1ª Edición Año, 2011
1. OPERADORES LÓGICOS
El primer paso para simbolizar un silogismocategórico es definir los símbolos básicos o conectivos lógicos,
hemos visto directamente estos conectivos aplicados en la formalización, esta formalización es una lógica
de enunciados.
Símbolos deconectivas:
¬




NO
Y
O
O...O

→,
↔,

SI...ENTONCES
SI Y SOLO SI

Negación
Conjunción
Disyunción inclusiva
Disyunción
exclusiva
Condicional
Bicondicional

~
.

1.1. Lanegación ( ¬ ) permite negar un enunciado o proposición atómica o una molecular
Llevan el adverbio de negación ‘no’, o sus expresiones equivalentes como “nunca”, “jamás”, “tampoco”,
“no es verdadque”, “no es cierto que”, “es falso que”, “le falta”, “carece de”, “sin”, “imposible”, etc.
Ejemplos:
PROPOSICIÓN
1
1
3
1
5

Nunca he oído esa música
Al papá de Nelly le falta carácter
Jamáshe visto al vecino
Es imposible que el átomo sea molécula
Es falso que el juez sea fiscal

CONECTIVO
NEGACIÓN ( ¬ )
Nunca
Le falta
Jamás
Imposible
Es falso que

6

No es posible quegane y pierda a la vez

No es posible

SIMBOLIZACIÓN
¬p
¬q
¬r
¬p
¬q
¬(p ∧ q)

1.2. La conjunción ( ∧ )
Enlaza proposiciones por el conectivo “y”, o sus expresiones equivalentes como “e”,“pero”, “aunque”,
“aun cuando”, “tanto... como…”,”sino”, “ni…ni”, “sin embargo”, “además”, etc. Se representan
simbólicamente al unir dos proposiciones atómicas como por ejemplo p y q;p no obstante q;p sin embargo q.
Ejemplos:

“El” es un artículo y “de” es una proposición
El número dos es par, pero el número tres es impar
Silvia es inteligente, sin embargo es floja
Tanto el padre como elhijo son melómanos.
Manuel e Ismael son universitarios
La materia ni se crea ni se destruye.

7

Ingresaré a la universidad aun cuando no apruebe el
examen de admisión.

aun cuando... [continua]

Leer Ensayo Completo

Cite este ensayo

APA

(2013, 03). metodo de deduccion. BuenasTareas.com. Recuperado 03, 2013, de http://www.buenastareas.com/ensayos/Metodo-De-Deduccion/24160050.html

MLA

"metodo de deduccion" BuenasTareas.com. 03 2013. 2013. 03 2013 <http://www.buenastareas.com/ensayos/Metodo-De-Deduccion/24160050.html>.

MLA 7

"metodo de deduccion." BuenasTareas.com. BuenasTareas.com, 03 2013. Web. 03 2013. <http://www.buenastareas.com/ensayos/Metodo-De-Deduccion/24160050.html>.

CHICAGO

"metodo de deduccion." BuenasTareas.com. 03, 2013. consultado el 03, 2013. http://www.buenastareas.com/ensayos/Metodo-De-Deduccion/24160050.html.