Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejemplos
1. Todos los perros tiene cuatro patas. (Verdadero)
2. Una gallina es un perro. (Falso)
3. La gallina tiene cuatro patas. (Falso)
4. Si los perros tiene cuatro patas y la gallina es un perro, entonces
la gallina tiene cuatro patas. (Verdadero) en el apartado
del contexto lógico explico el valor de verdad de esta
extraña incongruencia.
Contexto etimológico
La proposición viene del latín “propositio” y literalmente
hablando significa a favor o acción de proponer, al parecer,
indica una propuesta de algo a alguien.
Contexto coloquial
Contexto gramatical
Ejemplo
Sea la proposición gramatical: “La mayoría de mis amigos se van
de paseo al cuzco en un tren que resulta ser super rápido y acampar
allí para comer tallarin verde junto con sus madres”. De esta
oración, podemos extraer otras proposiciones mas:
Contexto lógico
Por tal razón, una proposición debe tener una estructura bien
formalizada que de cuenta de la lógica de la realidad como la
lógica de lo abstracto (como las matemáticas) incluso si entre
ellas mismas se contradicen.
Ejemplo
Si decimos que todos los números pares son de color verdes, entonces
el numero 4 es de color verde, en el contexto de la realidad es
ilógico pensar que los números se pueden clasificar por colores,
pero en lo abstracto, la lógica de la conclusión es verdadera.
Contexto filosófico
Ejemplo
Ejemplo
o es un enunciado abierto. (La variable es una incógnita)
o Ella es muy bella. (“Ella” es una incógnita)
o El grupo esta muy contento. (“Grupo” es una incógnita)
Ejemplo
Nota: Para la lógica formal, el predicado en el primer ejemplo resulta ser “es la capital
de” y los sujetos son “Lima” y “Perú”. La razón es muy sencilla, la lógica formal
generalmente estudia variables, es decir, enunciados abiertos, ya que el enunciado 1
puede escribirse como “xxes la capital de yy” donde xx e yy son los sujetos del
enunciado.
Ejemplo
o “Ana y María son abogadas“, son dos proposiciones
compuestas y se pueden separar en dos proposiciones
atómicas: “Ana es abogada” y “María es abogada“.
o “Mi perro tiene orejas y cola“, se puede separa en “Mi
perro tiene orejas” y “Mi perro tiene cola“.
o “Lucho es gracioso o sarcástico“, se puede separar en
“Lucho es gracioso” y “Lucho es sarcástico“.
o “Si xx es un numero par, entonces xx es un numero entero“, se
puede separar en “xx es un numero par” y “xx es un numero
entero“.
Ejemplos
o pp: mi loro es verde.
o qq: mi perro tiene cuatro patas.
o rr: mi loro es verde y mi perro tiene cuatro patas. En este caso
podemos escribir como r=p y qr=p y q
Ejemplo
Negación lógica
La negación lógica a nivel lingüístico cambia el valor de verdad
de una proposición, también es capaz de cambiar una
afirmación a una negación o viceversa.
Ejemplo
o pp: Los seres humanos tiene dos pies (Verdadero).
∼p∼p: Los seres humanos no tiene dos pies (Falso).
o qq: el sistema operativo Ubuntu no es de
Microsoft (Verdadero).
∼q∼q: el sistema operativo Ubuntu es de Microsoft (Falso) .
Conjunción lógica
La conjunción lógica es una conectiva lógica que une dos
proposiciones, si las dos proposiciones son verdaderas,
entonces la conjunción es verdadera, si por lo menos una de
ellas es falsa, entonces la conjunción es falsa.
Ejemplos
Disyunción lógica
También se le llama disyunción inclusiva, generalmente se
representa por la letra “o” y simbólicamente se escribe “ ∨∨”. Si
tenemos dos proposiciones pp y qq, la proposición formada por
la disyunción lógica seria p∨qp∨q.
El valor de verdad de la disyunción lógica es falsa si las dos
proposiciones que las forman es falsa y la disyunción lógica es
verdadera si por lo menos una proposición es verdadera.
Ejemplos
o pp: Los peros tienen 2 patas.
qq: Los perros tienen 4 patas
p∨qp∨q: Los perros tienen 2 patas o 4 patas.
o rr: Los números pares son números naturales.
ss: Los números primos son números naturales.
r∨sr∨s: Los números pares o primos son números naturales.
Disyunción exclusiva
La disyunción exclusiva es un conectivo lógico representado
por el símbolo △△ que tiene como propiedad incluir solo
aquellas proposiciones donde una y sola de las dos
proposiciones debe ser verdadera para que la disyunción
exclusiva sea verdadera, en caso contrario siempre será falsa.
Si tenemos dos proposiciones pp y qq, la proposición formada
por la disyunción exclusiva se representa así p△qp△q.
Literalmente se representa por la letra “o” dos veces así
“o proposición 1 o proposición 2“, veamos los siguientes
ejemplos.
Ejemplo
Condicional lógica
También se le llama condicional material y algunas veces se le
confunde con la implicación lógica cuando realmente tienen
significadores diferentes pero similares.
Ejemplo
: Hoy llueve.
: El piso esta mojado.
: Si hoy llueve, entonces el piso esta mojado.
: Hoy sale el sol.
: Manuel saldrá de casa hoy.
: Si hoy sale el sol, entonces Manuel saldrá de casa.
Bicondicional lógica
La bicondicional lógica es una doble condicional, esto es, la
premisa y la conclusión pueden ser también la conclusión y la
premisa respectivamente.
Ejemplo
Negación Lógica
pp ∼p∼p
VV FF
FF VV
Conjunción Lógica
pp qq p∧qp∧q
VV VV VV
VV FF FF
FF VV FF
FF FF FF
Disyunción Inclusiva
pp qq p∨qp∨q
VV VV VV
VV FF VV
FF VV VV
FF FF FF
Disyunción Exclusiva
pp qq p△qp△q
VV VV FF
VV FF VV
FF VV VV
FF FF FF
Condicional Lógica
pp qq p→qp→q
VV VV VV
VV FF FF
FF VV VV
FF FF VV
Bicondicional Lógica
pp qq p↔qp↔q
VV VV VV
VV FF FF
FF VV FF
FF FF VV
Proposiciones equivalentes
Ejemplo
Ley de involución
∼(∼p)≡p∼(∼p)≡p
Leyes de
idempotencia
p∧p≡pp∧p≡p
p∨p≡pp∨p≡p
p∧q≡q∧pp∧q≡q∧p
Leyes
conmutativas
p∨q≡q∨pp∨q≡q∨p
p△q≡q△pp△q≡q△p
p↔q≡q↔pp↔q≡q↔p
(p∧q)∧r≡p∧(q∧r)(p∧q)∧r≡p∧(q∧r)
Leyes asociativas
(p∨q)∨r≡p∨(q∨r)(p∨q)∨r≡p∨(q∨r)
(p△q)△r≡p△(q△r)(p△q)△r≡p△(q△r)
(p↔q)↔r≡p↔(q↔r)(p↔q)↔r≡p↔(q↔r)
p∧(q∨r)≡(p∧q)∨(p∧r)p∧(q∨r)≡(p∧q)∨(p∧r)
Leyes distributivas p∨(q∧r)≡(p∨q)∧(p∨r)p∨(q∧r)≡(p∨q)∧(p∨r)
p→(q∧r)≡(p→q)∧(p→r)p→(q∧r)≡(p→q)∧(p→r)
p↔(q∧r)≡(q↔q)∧(p↔r)p↔(q∧r)≡(q↔q)∧(p↔r)
Leyes de Morgan ∼(p∧q)≡∼p∨∼q∼(p∧q)≡∼p∨∼q
∼(p∨q)≡∼p∧∼q∼(p∨q)≡∼p∧∼q
Leyes
condicionales
p→q≡∼p∨qp→q≡∼p∨q
∼(p→q)≡p∧∼q∼(p→q)≡p∧∼q
Leyes
bicondicionales
p↔q≡(p→q)∧(q→p)p↔q≡(p→q)∧(q→p)
p↔q≡(p∧q)∨(∼p∧∼q)p↔q≡(p∧q)∨(∼p∧∼q)
Leyes de
absorción
p→q≡∼q→∼pp→q≡∼q→∼p
p↔q≡∼q↔∼pp↔q≡∼q↔∼p
Estos son solo algunas de las leyes lógicas que podemos formar
con los conectivos lógicos. Existen otras leyes como la
Tautología, contradictoria, y contingencia, pero todo ello lo
veremos en otras secciones con sus definiciones y ejemplos
respectivos del curso de lógica.
LÓGICA PROPOSICIONAL
1. Proposiciones Lógicas
2. Negación lógica
3. Conjunción Lógica
4. La Disyunción Lógica
5. Condicional Lógica
6. La Bicondicional
Share on facebook
Share on google
Share on twitter
Share on pinterest
Politica de privacidad
Politica de c
Ejemplo
o p=∼qp=∼q
o pp = El Tumi es de oro.
∼p∼p = El tumi no es de oro.
o qq = Los seres humanos no son de Ganimedes.
∼q∼q = Los seres humanos son de Ganimedes.
o rr = El tigre es un felino .
∼r∼r = El tigre no es un felino.
Su negación sería:
pp ∼p∼p
VV FF
FF VV
Donde VV significa que la proposición es verdadera
y FF significa que la proposición es FF.
Algunas Leyes lógicas de la negación
∼(∼p)=p∼(∼p)=p
Otras propiedades relacionadas con otros conectivos lógicos lo
pueden encontrar en la sección de las principales leyes lógicas
que ya mencione hace pocos párrafos.
o V(p)=VV(p)=V
o V(∼p)=FV(∼p)=F
o V(∼(∼p))=VV(∼(∼p))=V
o V(p)=FV(p)=F
o V(∼p)=VV(∼p)=V
o V(∼(∼p))=FV(∼(∼p))=F
Ejemplos
Todos los ejemplos de doble negación tiene la siguiente forma
lógica ∼(∼p)=p∼(∼p)=p, veamos:
1. Todo S es P
2. Ningún S es P
3. Algún S es P
4. Algún S no es P
Su negación sería:
Su equivalente sería:
Resumen:
Se pueden hacer muchas cosas con la negación lógica, pero esto
se vera cuando combinemos con el resto de los conectivos
lógicos, en la tabla siguiente te presento un resumen de lo
expuesto.
ue es la conjunción lógica?
La conjunción lógica tiene como propiedad sumar condiciones
obligatorias por medio del predicado aplicado al sujeto, por
ejemplo, si queremos que Pablo sea albañil, pero a su vez
queremos que Pablo también sea un estudiante, usaremos el
conectivo lógico “y“, escribiendo así “Pablo es
un albañil y estudiante“.
Ejemplos
o El gato es un felino.
o La paloma es un ave.
o p∧qp∧q
V(p∧q)=VV(p∧q)=V
Y para el enunciado 2, sería falsa, simbólicamente:
V(pwedgeq)=FV(pwedgeq)=F.
Tabla de verdad de la conjunción lógica
Ejemplo
o Todos somos libres y felices.
o Ella es hermosa y debería ser modelo.
o Todos son criminales pero con trastorno bipolar.
o Vamos a la playa y luego a comer.
o Los perros tienen cola, patas y hocico.
A∩B={x|x∈A∧x∈B}A∩B={x|x∈A∧x∈B}
Gráficamente se representa así:
Si quieres saber mas sobre este operador, visita mi sección
de teoría de conjuntos llamadooperaciones entre conjuntos.
Sergio Cohaguila
Fecha de Revision
2017-08-13
Nombre De La Entrada
La conjunción lógica
Clasificación
LÓGICA PROPOSICIONAL
1. Proposiciones Lógicas
2. Negación lógica
3. Conjunción Lógica
4. La Disyunción Lógica
5. Condicional Lógica
6. La Bicondicional
Share on facebook
Share on google
Share on twitter
Share on pinterest
Politica de privac