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




NO
Y
O
O...O

→,
↔,

SI...ENTONCES
SIY SOLO SI

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

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

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

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

6

N [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.