1. ¿Cuáles sonlas conectivas más frecuentes?
En lógica, una conectivalógica,o simplemente conectiva, (también llamadooperador lógico o conectoreslógicos) es unsímboloo
palabra que se utiliza para conectar dos fórmulas bienformadas o sentencias (atómicas o moleculares), demodo queel valorde
verdad de la fórmula compuesta dependedelvalorde verdadde las fórmulas componentes.
Los conectivos lógicos más comunes son los conectivosbinarios (tambiénllamados conectivosdiádicos) queunen dos frases,que
pueden ser consideradas los operandos dela función. También es común considerara la negacióncomoun conectivomonádico.
Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas demuchos sistemas lógicos, principalmente
la lógica proposicional y la lógica depredicados.
En programación se utilizan para combinar valores deverdad y obtener nuevos valores que determinen el flujo decontrol de
un algoritmo o programa.
Listade conectivoslógicoscomunes
Conectivos lógicos comúnmenteusados:
Negación (no): ¬, ~
Conjunción lógica (y): ∧, y, ∙
Disyunciónlógica (o): ∨
Condicional material (Si.. entonces): →, ⇒, ⊃
Bicondicional (siy solo si): ↔, ≡, =
Nombres alternativos para bicondicional son "sii", "xnor"y "bi-implicación."
Por ejemplo,elsignificadodelos estados está lloviendo y estoy en el interior se transforma cuando los dos secombinan con
conectivos lógicos:
No está lloviendo
Está lloviendoy estoy dentro decasa (P ∧Q)
Está lloviendoo estoy dentrode casa (P ∨Q)
Si está lloviendo,entonces estoy encasa.(P → Q)
Si estoy en casa, entonces está lloviendo.(P → Q)
Estoy dentrosi y solo si está lloviendo (P ↔ Q)
No está lloviendo(¬P)
Por declaraciónP =Q= Está lloviendo Estoy dentrode casa.
También es común considerarla fórmula siempre verdaderay la fórmula siempre falsacomo conectivos
Verdadero (⊤, 1 o T)
Falso (⊥, 0 o F)
2. Elaboración detablas deverdad
Construcción detablas de verdad
Para determinar elvalor de verdad deuna proposición compuesta es necesario elaborar la correspondientetabla deverdad;para tal
fin y medianteel siguiente ejemploseenuncianlos pasos a seguir:
Ejemplo 1.
Construir la tabla de verdadpara la proposición ~(p^q).
Paso 1.
Se hace un recorrido deizquierda a derecha teniendo encuenta los paréntesis.
Paso 2.
Se identifica elconectivo que aparece dentrodelparéntesis,en esteejemplola conjunción.
Paso 3.
Se precisa el término deenlacequeprecede al paréntesis, en elejemplo la negación.
Paso 4.
Se elabora la tabla con elnúmero decolumnas determinadopor:
_ Proposiciones queintervienen
_ Conectivos utilizados dentro delparéntesis
_ Conectivo utilizadofuera del paréntesis.
La siguiente tabla ilustra elpaso4:
Paso 5.
Se fijan los valores deverdad enlas columnas de las proposiciones p y q. se ilustra enla siguientetabla
Paso 6.
Se completa la tabla por columnas, teniendoencuenta el conectivoy el valor deverdad decada proposiciónsimple. La finalizaciónde
la elaboracióndela tabla deverdad es:
3. Tabla de
verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla
que muestra el valor de verdad de una proposición compuesta, para
cada combinación de verdad que se pueda asignar.
es
Sus
factores
son
verdadero falso variable negación disyusionconjunció
n
Para una
variable
lógica A, B, C, ...
que pueden ser
verdaderas V, o
falsas F,
El valor falso se
representa con
la letra F; si se
emplea
notación
numérica se
expresa con un
cero: 0; en un
circuito
eléctrico, el
circuito está
abierto.
Para una
variable
lógica A, B
, C, ... que
pueden ser
verdaderas
V, o
falsas F,
los
operadores
fundament
ales se
definen
así:
La
negación
es
un operado
r que se
ejecuta,
sobre un
único valor
de verdad,
devolviend
o el
valor contra
dictorio de
la
proposición
considerad
a.
La conjun
ción es
un
operador,
que actúa
sobre dos
valores
de
verdad,
típicamen
te los
valores
de
verdad
de dos
proposici
ones,
devolvien
do el
valor de
verdad ve
La disyunc
ión es un
operador
que actúa
sobre dos
valores de
verdad,
típicament
e los
valores de
verdad de
dos
proposicio
nes,
devolviend
o el valor
de
verdad ver
dadero cu
ando una
de las
4. Una proposición es cualquier
enunciado lógico al que se le
pueda asignar unvalor de verda.
Una proposición (o enunciado )
es una oración con valor
referencial o informativo, de la
cual se puede predicar su
veracidad o falsedad, es decir,
que puedeser falsa o verdadera
pero no ambas a la vez.
ProposicionesSimples
Son aquellasque no
tienen oraciones
componentes
afectadaspor
negaciones("no")o
términosde enlace
como conjunciones
("y"), disyunciones
("o")o implicaciones
("si . . . entonces").
Pueden aparecer
términosde enlace en
el sujeto o en el
predicado, pero no
entre oraciones.
Proposiciones
Compuestas
Una proposición
será compuesta si
no es simple. Es
decir, si está
afectada por
negaciones o
términos de enlace
entre oraciones
componentes.
5. F
A
L
A
C
I
a
es un argumento quepareceválido,
pero no lo es.1 2 Algunas falacias se
cometenintencionalmente para pers
uadir o manipular a los demás,
mientras que otras se cometen sin
intención debido a descuidos o
ignorancia. En ocasiones las falacias
pueden ser muy sutiles y persuasivas,
por lo que se debe poner mucha
atención para detectarlas.3
Las falacias formales son
aquellas cuyo error reside
en la forma o estructura de
los argumentos.
Algunos ejemplos
conocidos de falacias
formales son:
Afirmación del
consecuente: Un
ejemplo de esta
falacia podría ser:
1. Si María
estudia,
entonces
aprobará el
examen.
2. María aprobó
el examen.
3. Por lo tanto,
María
estudió.
Las falacias informales son
aquellas cuya falta está en
algo distinto a la forma o
estructura de los
argumentos.
algunos ejemplos:
Falacia ad hominem: se llama
falacia ad hominem a todo
argumento que, en vez de
atacar la posición y las
afirmaciones del interlocutor,
ataca al interlocutor mismo.
La estrategia consiste en
descalificar la posición del
interlocutor, al descalificar a
su defensor. Por ejemplo, si
alguien argumenta: «Usted
dice que robar está mal, pero
usted también lo hace», está
cometiendo una falacia ad
hominem (en particular, una
falacia tu quoque), pues
pretende refutar la
proposición «robar está mal»
mediante un ataque al
proponente. Si un ladrón dice
que robar está mal, quizás
sea muy hipócrita de su
parte, pero eso no afecta en
nada a la verdad o la
falsedad de la proposición en
sí.