Leccion 1 Razlog (Anallisis Del Len Or) - 1-21

RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO

www.preuenlinea.com
La lógica se puede clasificar como:
1. Lógica tradicional o no formal.

2. Lógica simbólica o formal.
En la lógica tradicional o no formal se consideran procesos psicológicos del

pensamiento y los métodos para hacer deducciones están directamente
relacionados con las destrezas de las personas para interpretar y distinguir un
pensamiento correcto de otro que no lo es, esta resume las experiencias humanas
obtenidas del conocimiento y las de la observación del mundo circundante.
La lógica como ciencia constituye la lógica formal o simbólica, la cual se encarga
de investigar, desarrollar y establecer los principios fundamentales que siguen la
validez de la inferencia (o realización de deducciones lógicas a partir de ciertos
razonamierntos); es considerada como uno de los sistemas mediante el cual se
llega a formas puras y rigurosas.
En el pensamiento simbólico, las palabras se manipulan, según las reglas
establecidas, como si fueran simples signos sin preocuparse por su sentido.
SIMBOLIZACIÓN DE PROPOSICIONES:
La lógica utiliza un lenguaje exacto que no da lugar a imprecisiones, en tales

condiciones, se puede considerar una proposición como una “frase” que tiene la
propiedad de ser verdadera o falsa, esta crea un lenguaje simbólico artificial, en
donde establece un conjunto de reglas claras, bien definidas y que no presentan
las ambigüedades ni vaguedades del lenguaje corriente.
Las proposiciones se representan simbólicamente mediante el uso de letras

minúsculas o mayúsculas del alfabeto tales como p, q, r, s, ..., x, y, z, ó P, Q, R,...,
X, Y, Z, las cuales reciben el nombre de letras o variables proposicionales, de
esta forma, el lenguaje proposicional se hace más simple y exacto que el lenguaje
natural.
Los siguientes ejemplos ilustran cómo se pueden simbolizar las proposiciones:

• P ; Hoy es miércoles.
• Q : Estudio para el examen de ingreso a la universidad.
• R : 2 es el único número primo par.
www.preuenlinea.com
En el lenguaje cotidiano se encuentran expresiones como las siguientes:

Las rosas son rojas y tienen espinas.
¿La selección Colombia ganó o perdió?
En el país no hay violencia.
Si estudio lógica matemática entonces mi conocimiento se incrementará.
8 es un número par si y sólo si se puede dividir por 2.
Para la formación de estas oraciones se utilizaron las letras y, o, no, si

… entonces, sí y sólo si, que sirvieron para unir o enlazar los enunciados.
Estos términos de enlace reciben el nombre de CONECTIVOS LÓGICOS y al

igual que a las proposiciones, también se les asignan un lenguaje simbólico, así:
LENGUAJE NATURAL LENGUAJE FORMAL

y ˄
o v
no ~
si...entonces... →
....si y solo si.... ↔
Veamos su uso. Si la notación simbólica de las siguientes proposiciones es:

m : Las rosas son rojas.
n : Las rosas tienen espinas.
m ˄ n : Las rosas son rojas y tienen espinas.
p: La selección Colombia ganó?.

q: La selección Colombia perdió?.
p ˅ q : La selección Colombia ganó o perdió?.
r : En el país hay violencia.

~ r : En el país no hay violencia.
s : Estudio lógica matemática.

t : Mi conocimiento se incrementará.
s →t : Si estudio lógica matemática entonces mi conocimiento se incrementará.
u : 8 es un número par.
v : 8 es divisible por 2.
u ↔ v : 8 es un número par si y sólo si es divisible por 2.
www.preuenlinea.com
En lógica se consideran y se simbolizan dos clases de proposiciones: simples y

compuestas.
PROPOSICIONES SIMPLES
Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos
lógicos.
Ejemplos:
x : El eclipse de sol es un fenómeno natural.
q : La luna es un satélite natural de la tierra.
r : 5 es el inverso multiplicativo de –5.
s: -7 es el inverso aditivo de 7.
El valor de verdad de una proposición simple puede ser verdadero (V) o falso (F),
pero no los dos valores al mismo tiempo, pues dejaría de ser proposición.
PROPOSICIONES COMPUESTAS
Las proposiciones compuestas son aquellas que se obtienen combinando dos o
más proposiciones simples mediante conectivos o términos de enlace.
Ejemplo:
De las proposiciones simples p : El día está nublado.
q : El sol brilla.
Se obtiene la proposicion compuesta p ˄ q : El día esta nublado y el sol brilla.
De las proposiciones simples

A : Un triángulo es equilátero.
B : Un triángulo tiene sus tres lados iguales.
Se obtiene la siguiente proposicion compuesta
A ↔ B : Un triángulo es equilátero si y sólo si tiene sus tres lados iguales.
La veracidad o falsedad de una proposición compuesta, depende del valor de ver-

dad de cada una de las proposiciones simples que la conforman y de la forma como
estén combinadas; para establecer este valor, se fijan criterios que se estudiarán en
las próximas secciones de este módulo.
www.preuenlinea.com
CONECTIVOS LÓGICOS
Como ya se dijo anteriormente, los símbolos que sirven para enlazar dos o más
proposiciones simples, se llaman conectivos lógicos, estos son: la conjunción (la y),
la disyunción (la o), la negación (el no), el condicional (el si... entonces...) y el bicon-
dicional (el ... si y solo si...).
LA CONJUNCIÓN: “ ˄ “
Sean p y q dos proposiciones simples. La proposición compuesta p y q simbolizada

por “p ˄ q“, se denomina la conjunción de p y q.
Ejemplo 1.
La proposición compuesta
P ˄ Q : 9 es número impar y entero positivo
está formada por:
P : 9 es un número impar.
˄:y
Q : entero positivo.
Para establecer el valor de verdad de la conjunción, surgen las siguientes posibili-

dades:
1. Que P y Q sean verdaderas.
2. Que P sea verdadera y Q sea falsa.
3. Que P sea falsa y Q verdadera.
4. Que P y Q sean falsas.
A continuación se analizan estas posibilidades para el ejemplo anterior.

1. P : 9 es un número impar. Esto es verdadero (V)
Q : 9 es un entero positivo. Esto es verdadero (V)
P ˄ Q : 9 es un número impar y 9 es un entero positivo. Esto es verdadero (V)
2. P : 9 es un número impar. Esto es verdadero (V)
Q : 9 no es un entero positivo. Esto es falso (F)
P ˄ Q : 9 es un número impar y 9 no es un entero positivo. Esto es falso (F)
3. P : 9 no es un número impar. Esto es falso (F)
Q : 9 es un entero positivo. Esto es verdadero (V)
P ˄ Q : 9 no es un número impar y 9 es un entero positivo. Esto es falso (F)
4. P : 9 no es un número impar. Esto es falso (F)
Q : 9 no es un entero positivo. Esto es falso (F)
P ˄ Q : 9 no es un número impar y 9 no es un entero positivo. Esto es falso (F)
www.preuenlinea.com
EL CONDICIONAL “ → “
Este tipo de conectivo es también llamado implicación.

se dice que una proposicion compuesta es una condicional o una implicación
si está formada por dos preposiciones enlazadas por la expresión “si...enton-
ces...”
Si p y q representan dos proposiciones la expresión “si p entonces q” se

simboliza así:
p → q y se lee p implica a q
La proposición que se encuentra precedida por la expresión “si”, es decir

la p, se llama antecedente o hipótesis y la proposición precedida por la ex-
presión “entonces”, es decir la q, se llama consecuente o conclusión de la
implicación, es claro que la expresión p → q el antecedente es p y el conse-
cuente es q.
Existen varias formas de enunciar con palabras las proposiciones condicio-
nales, debe quedar claro que todas ellas representan el condicional p → q
(si p entonces q)
•Si p entonces q
•p solo si q
•q si p
•p es suficiente para q
•q es necesario para p
El siguiente ejemplo ilustra los anteriores enunciados. Tenga en cuenta que

cada expresión representa lo mismo aunque se diga con diferentes palabras
•Si un barco navega por el canal de panamá entonces es de gran calado.

•Un barco navega por el canal de panamá solo si es de gran calado.
•Un barco es de gran calado si navega por el canal de panamá.
•Que un barco navegue por el canal de panamá es suficiente para que sea
de gran calado.
•Que un barco sea de gran calado es necesario para que navegue por el
canal de panamá.
www.preuenlinea.com
Nota: para el ejemplo anterior “un barco navega por el canal de panamá”
es una condición suficiente y “un barco es de gran calado” es una condición
necesaria.
Existen varias formas de enunciar proposiciones condicionales así:

•Implicación directa: p → q
•Implicación recíproca: q → p
•Implicación contraria: ~p → ~q
•Implicación contrarecípocra : ~q → ~p
Ejemplo 1:
Dadas las proposiciones p: A ocupó el primer lugar.
q: B ocupó el segundo lugar.
entonces la proposición directa es:
p → q “si A ocupó el primer lugar entonces B ocupó el segundo lugar”
La proposición recíproca es:
q → p “si B ocupó el segundo lugar entonces A ocupó el primer lugar”
La contraria es :
~ p → ~ q “si A no ocupó el primer lugar entonces B no ocupó el segundo
lugar”
La contrarecíproca es:
~ q → ~ p “si B no ocupó el segundo lugar entonces A no ocupó el primer
lugar”
Para tener en cuenta:
Desde el punto de vista de lógica proposicional negar dos veces equivale a
afirmar así la proposición ~(~ p) representa lo mismo que la proposición p.
para el ejemplo anterior decir “No, A no ocupó el primer lugar” representa lo
mismo que decir “A ocupó el primer lugar”.
Ejemplo 2:
Teniendo en cuenta la proposición directa ~r →s construir las otras formas
de implicación
Recíproca: s →~r
Contraria: ~ (~r) →~s luego queda,
r→~s
Contrarecíproca: ~s →~(~r) luego queda,
~s→ r
www.preuenlinea.com
LA DISYUNCIÓN “ V “
Sean p y q dos proposiciones simples. La proposición “p o q” simbolizada

“p v q”. Se llama disyunción entre p y q.
El operador “o” (˅) se puede usar de dos formas: como “o incluyente” o como
“o excluyente”.
En el primer caso (“o” incluyente) establece que las proposiciones que confor-
man la disyunción pueden cumplirse de manera simultánea, sin que una ex-
cluya a la otra. En el segundo caso (“o” excluyente) si se cumple una de las
proposiciones excluye de manera inmediata que se cumpla simultáneamente
la otra proposición.
Ejemplo 1. Uso del “o” incluyente

r v s: Andrés estudia medicina o Ana estudia economía.
r : Andrés estudia medicina
v:o
s: Ana estudia economía.
Nota: Del ejemplo se puede concluir que es posible de manera simultánea

que Andrés y Ana estudien medicina y economía respectivamente.
Ejemplo 2: Uso del “o” excluyente

p v q: Ximena vive en Medellín o en Cartagena.
p : Ximena vive en Medellín.
v:o
q : Ximena vive en Cartagena.
Nota: Como puede verse en este ejemplo no es posible que de manera simul-
tánea Ximena viva en Medellín y Cartagena.
LA NEGACIÓN “ ~ “
Sea p una proposición simple. Se define la negación de p mediante la proposi-

ción compuesta “no p” simbolizada por: “~ p”.
Ejemplo 1.
q : El automóvil de Julio es Negro.
~ q : “El automóvil de Julio no es negro” ,o de otro modo, “es falso que el auto-
móvil de Julio es negro”.
www.preuenlinea.com
EL BICONDICIONAL “↔”
Se denomina bicondicional a la proposición formada por dos proposiciones

conectadas por la expresión “si y solo si” a este conectivo también suele
llamarse equivalencia lógica. Si p y q son proposiciones simples, la doble
implicación “p ↔ q” constituye un bicondicional, donde p recibe el nombre de
primer miembro y q segundo miembro.
El bicondicional o equivalencia está formado por dos implicaciones p → q y
q → p, las cuales deben tener el mismo valor de verdad para formar una
equivalencia entre p y q; en consecuencia se dice que la proposición p es
equivalente a la proposición q y se acostumbra a escribir p ↔ q.
La proposición bicondicional (p ↔ q) se puede enunciar de diferentes ma-
neras, todas ellas representan la equivalencia entre p y q, así:
•p sí y sólo si q
•q sí y solo si p
•Si p entonces q y recíprocamente
•Si q entonces p y recíprocamente
•p es condición necesaria y suficiente para q
•q es condición necesaria y suficiente para p
Ejemplo 1
Dadas las proposiciones:
p : Un triángulo es rectángulo.
q : Un triángulo tiene un ángulo recto.
El bicondicional p ↔ q se puede escribir de las siguientes formas :
•Un triángulo es rectángulo sí y solo sí tiene un ángulo recto.

•Un triángulo tiene un ángulo recto sí y solo sí es rectángulo.
•Si un triángulo es rectángulo entonces tiene un ángulo recto y si un triángu-
lo tiene un ángulo recto entonces es rectángulo.
•Una condición necesaria y suficiente para que un triángulo sea rectángulo
es que tenga un ángulo recto.
•Una condición necesaria y suficiente para que un triángulo tenga un ángulo
recto es que sea un triangulo rectángulo.
•Un triangulo rectángulo es equivalente a un triangulo con un ángulo recto.
www.preuenlinea.com
TABLAS DE VERDAD
Definición
Una tabla de verdad es una representación esquemática de las relaciones en-

tre proposiciones; sirve para determinar los valores de verdad de proposiciones
compuestas, las cuales dependen de los conectivos utilizados y de los valores
de verdad de sus proposiciones simples.
En la elaboración de una tabla de verdad los términos de enlace tales como la
negación ( “ ~ “), la disyunción ( “˅“), la conjunción ( “˄ “), la implicación (“→”) y
la equivalencia (“↔”), se consideran conectivos fundamentales; por tal razón,
sus valores de verdad constituyen la base para establecer bajo qué condicio-
nes una proposición compuesta es verdadera o falsa.
Para simbolizar los valores de verdad de una proposición, usamos la letra “V”
para representar el valor de verdadero y “F” el valor de falso.
Todas las combinaciones posibles entre los valores de verdad de p y q que

pueden obtenerse son:
www.preuenlinea.com
TABLAS DE VERDAD PARA LOS CONECTIVOS LÓGICOS

La disyunción
Lo anterior permite concluir que la disyunción es falsa únicamente cuando las

dos proposiciones son falsas, en cualquier otro caso la proposición es verda-
dera.
Ejemplo: dadas las proposiciones
p: 4 es divisor de 20 El valor de verdad es V (Verdadero)
q: 4 es un número par El valor de verdad es V (Verdadero)
p ˅ q: 4 es divisor de 20 o es un número par. Esto es V (Verdadero)
r: 2 + 2 = 5 El valor de verdad es F (Falso)

s: Colombia es un país africano El valor de verdad es F (Falso)
r ˅ s: 2 + 2 = 5 o Colombia es un país africano. Esto es F (Falso)
www.preuenlinea.com
La negación
La negación de un enunciado verdadero es falso y la negación de un enuncia-

do falso es verdadero.
La conjunción
De lo anterior se puede concluir que la conjunción solo es verdadera cuando

las 2 proposiciones son verdaderas, en cualquier otro caso es falsa.
www.preuenlinea.com
El condicional
De lo anterior se puede concluir que el condicional solo es falso cuando el an-

tecedente es verdadero y el consecuente es falso, en cualquier otro caso es
verdadero. El condicional como conectivo establece la relación que hay entre el
antecedente y el consecuente, es por ello que cuando el antecedente es falso y
el consecuente es verdadero la implicación sea verdadera, y cuando el antece-
dente es falso y el consecuente es falso la implicación es verdadera.
Ejemplo:
Sean las proposiciones p:6 es un número par.
q: 6 no es divisible por 2
p: 6 es un número par El valor de verdad es V
q: 6 no es divisible por 2 El valor de verdad es F
La proposición condicional es:

p → q : Si 6 es un número par entonces no es divisible por 2.
(El valor de verdad es F, ya que el antecedente es verdadero y el
consecuente es falso.)
www.preuenlinea.com
El bicondicional
De lo anterior se puede concluir que el bicondicional solo es verdadero cuando

ambas proposiciones son verdaderas o cuando ambas proposiciones son fal-
sas. En cualquier otro caso es falso. El bicondicional o equivalencia se asemeja
a la igualdad.
Ejemplo:
Dadas las proposiciones:
m : Un círculo es una figura de 4 lados. El valor de verdad es F

n : Un círculo es un cuadrado El valor de verdad es F
La equivalencia o bicondicional es:

m ↔ n : Un círculo es una figura de 4 lados si y solo si es un cuadrado.
(El valor de verdad es V)
www.preuenlinea.com
ALGUNAS EQUIVALENCIAS IMPORTANTES
Es posible escribir la conjunción, el condicional y el bicondicional en términos

de otros conectivos así:
• p ˄ q representa lo mismo que ~ (~p˅~q), veamos que esto es cierto median
te el uso de la tabla de verdad.
Como puede observarse en las dos últimas columnas los valores de verdad
son equivalentes. Podemos concluir que:
(p ˄ q) ↔ ~(~p˅~q)
www.preuenlinea.com
• p → q representa lo mismo que ~p ˅ q, veamos que esto es cierto mediante

el uso de la tabla de verdad.
Las dos últimas columnas de la tabla son equivalente por lo que se puede con-
cluir que:
(p → q) ↔ (~p˅q)
• p ↔ q representa lo mismo que (p → q) ˄ (q → p)

LECCION 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
También mediante el uso de tablas de verdad se puede determinar que una

implicación y su respectivo contrarecíproco representan lo mismo.
RESUMEN
Conectivos:
www.preuenlinea.com
Tipos de implicación:
Esta tabla permite analizar que los valores de verdad correspondientes a las
columnas de la directa y la contrarecíproca coinciden, al igual que los de las
columnas de la contraria y de la recíproca, por lo tanto estas implicaciones son
equivalentes, es decir:
- (p →q)↔(~q→~p)
- (q →p)↔(~p→~q)
www.preuenlinea.com
LEYES DE LA LÓGICA
Tautología:
Entre las proposiciones compuestas existen unas muy importantes por ser siem-
pre verdaderas, independientemente del valor de verdad de las proposiciones
que la conforman, este tipo de proposiciones reciben el nombre de tautologías,
es decir, una tautología es una proposición que es verdadera en todos los ca-
sos.
Ejemplo 1.
Demostrar que la proposición ( p ˄ q ) → ( ~ q → p ) es una tautología.
Para verificar la validez de esta proposición es necesario realizar la tabla de
verdad y comprobar que en la última columna solamente aparecen valores ver-
daderos.
www.preuenlinea.com
Contradicción:
Una proposición compuesta, que es falsa en todos los casos independiente-

mente de los valores de verdad de las proposiciones que la conforman se llama
Contradicción.
Ejemplo 2.
¿Es ( p ˄ ~ q ) ˄q una tautología?

Para responder la pregunta se hace necesario hacer la tabla, así:
www.preuenlinea.com
LEYES DEL ALGEBRA DE PROPOSICIONES
Las siguientes son las leyes de la lógica proposicional.
1.Idempotencia:
p˅p↔p
p˄p↔p
Esta es una ley que parece ser obvia, decir “Este día está nublado y Este día
está nublado” Es equivalente a decir “Este día está nublado”
2.Asociativas:
(p˅q)˅r↔p˅(q˅r)
(p^q)˄r↔p˄(q˄r)
Esta propiedad es similar a la propiedad asociativa que aparece en la suma y

la multiplicación.
3.Conmutativa:
p ˅ q ↔ q ˅p
p˄q↔q˄p
La expresión “la manzana es una fruta o todas las frutas son verdes” es equi-
valente a la expresión “todas las frutas son verdes o la manzana es una fruta”
4.Distributivas
p ˅ ( q ˄ r) ↔ ( p ˅ q ) ˄ ( p ˅ r )
p ˄ ( q ˅ r) ↔ ( p ˄ q ) ˅ ( p ˄ r )
Para ilustrar esta propiedad vemos el siguiente ejemplo:

Sea: p: “los inventores son creativos”
q: “Juan es inventor”
r: “Ana es ingeniera”
www.preuenlinea.com
El enunciado p˄ ( q ˅ r ): “los inventores son creativos y, Juan es inventor o

Ana es ingeniera”
Es equivalente a: ( p ˄ q ) ˅ ( p ˄ r ):
“los inventores son creativos y Juan es inventor, o, los inventores son creati-
vos y Ana es ingeniera”
5.Identidad:
p˅F↔p, p˅V↔V
p˄F↔F, p˄V↔p
La disyunción entre una proposición cualquiera y otra falsa, el valor de verdad

de la proposición p ˅ F es el mismo que el de la proposición p.
Razonamientos similares pueden aplicarse para las otras propiedades.
6.Complemento:
p˅~p ↔V, p˄~p↔F
~(~p)↔p , ~V↔F, ~F↔V
La propiedad p˅~p es siempre verdadera independientemente del valor de p,

la propiedad p˄~p es siempre falsa independiente del valor de p.
La propiedad ~ (~p) indica que negar dos veces desde el punto de vista de la
lógica es equivalente a afirmar.
7.Leyes D’ Morgan
~(p ˅q)↔~p˄~q
~(p ˄q)↔~p˅~q
Esta ley es muy importante porque establece que al negar una disyunción de
dos proposiciones podemos de modo equivalente representar este enunciado
por la conjunción de las negaciones de cada una de las proposiciones.

Leccion 1 Razlog (Anallisis Del Len Or) - 1-21

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Leccion 1 Razlog (Anallisis Del Len Or) - 1-21

Cargado por

Copyright:

Formatos disponibles

RAZONAMIENTO LÓGICO

LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO

La lógica se puede clasificar como:

1. Lógica tradicional o no formal.

En la lógica tradicional o no formal se consideran procesos psicológicos del

La lógica utiliza un lenguaje exacto que no da lugar a imprecisiones, en tales

Las proposiciones se representan simbólicamente mediante el uso de letras

Los siguientes ejemplos ilustran cómo se pueden simbolizar las proposiciones:

En el lenguaje cotidiano se encuentran expresiones como las siguientes:

Para la formación de estas oraciones se utilizaron las letras y, o, no, si

Estos términos de enlace reciben el nombre de CONECTIVOS LÓGICOS y al

LENGUAJE NATURAL LENGUAJE FORMAL

Veamos su uso. Si la notación simbólica de las siguientes proposiciones es:

p: La selección Colombia ganó?.

r : En el país hay violencia.

s : Estudio lógica matemática.

En lógica se consideran y se simbolizan dos clases de proposiciones: simples y

De las proposiciones simples

La veracidad o falsedad de una proposición compuesta, depende del valor de ver-

Sean p y q dos proposiciones simples. La proposición compuesta p y q simbolizada

Para establecer el valor de verdad de la conjunción, surgen las siguientes posibili-

A continuación se analizan estas posibilidades para el ejemplo anterior.

Este tipo de conectivo es también llamado implicación.

Si p y q representan dos proposiciones la expresión “si p entonces q” se

La proposición que se encuentra precedida por la expresión “si”, es decir

El siguiente ejemplo ilustra los anteriores enunciados. Tenga en cuenta que

•Si un barco navega por el canal de panamá entonces es de gran calado.

Existen varias formas de enunciar proposiciones condicionales así:

Sean p y q dos proposiciones simples. La proposición “p o q” simbolizada

Ejemplo 1. Uso del “o” incluyente

Nota: Del ejemplo se puede concluir que es posible de manera simultánea

Ejemplo 2: Uso del “o” excluyente

Sea p una proposición simple. Se define la negación de p mediante la proposi-

Se denomina bicondicional a la proposición formada por dos proposiciones

El bicondicional p ↔ q se puede escribir de las siguientes formas :

•Un triángulo es rectángulo sí y solo sí tiene un ángulo recto.

Una tabla de verdad es una representación esquemática de las relaciones en-

Todas las combinaciones posibles entre los valores de verdad de p y q que

TABLAS DE VERDAD PARA LOS CONECTIVOS LÓGICOS

Lo anterior permite concluir que la disyunción es falsa únicamente cuando las

p: 4 es divisor de 20 El valor de verdad es V (Verdadero)

q: 4 es un número par El valor de verdad es V (Verdadero)

r: 2 + 2 = 5 El valor de verdad es F (Falso)

La negación de un enunciado verdadero es falso y la negación de un enuncia-

De lo anterior se puede concluir que la conjunción solo es verdadera cuando

De lo anterior se puede concluir que el condicional solo es falso cuando el an-

La proposición condicional es:

De lo anterior se puede concluir que el bicondicional solo es verdadero cuando

m : Un círculo es una figura de 4 lados. El valor de verdad es F

La equivalencia o bicondicional es:

ALGUNAS EQUIVALENCIAS IMPORTANTES

Es posible escribir la conjunción, el condicional y el bicondicional en términos

• p → q representa lo mismo que ~p ˅ q, veamos que esto es cierto mediante

• p ↔ q representa lo mismo que (p → q) ˄ (q → p)

También mediante el uso de tablas de verdad se puede determinar que una

Una proposición compuesta, que es falsa en todos los casos independiente-

¿Es ( p ˄ ~ q ) ˄q una tautología?

LEYES DEL ALGEBRA DE PROPOSICIONES

Las siguientes son las leyes de la lógica proposicional.

Esta propiedad es similar a la propiedad asociativa que aparece en la suma y

Para ilustrar esta propiedad vemos el siguiente ejemplo:

El enunciado p˄ ( q ˅ r ): “los inventores son creativos y, Juan es inventor o