Sesión 61.-Leyes Del Algebra

RAZONAMIENTO LOGICO MATEMATICO SESIÓN 61-62
LEYES DEL ALGEBRA PROPOSICIONAL

Docente: Guillermo Pinto Rodríguez. Prof. Pr. Departamento de Matemática UNSA
01. LOS PRINCIPIOS LÓGICOS:
Los principios lógicos son tautologías. Una tautología es una verdad lógica.
02. PRINCIPIOS LÓGICOS DE LA LÓGICA TRADICIONAL.
02.1. El principio de la identidad: a. p ⇒ p

Ejemplo: “Si eres hombre, entonces eres hombre”
b. P ⇔ p
Ejemplo: “Eres hombre si y solo si erres hombre”
02.2.El principio del tercio excluido: a. p v p

Ejemplo: “comes pan o no comes pan, no hay tercera opción”
02.3. El principio de no contradicción: b. ( p ˄ p)

Ejemplo: “No es el caso que comas pan y no comas pan”
03. EQUIVALENCIAS NOTABLES:
03.1.Principios de tautología (T) : a. ( p Λ p ) ⇔ p

b. ( p v p) ⇔ p
03.2. Principio de Doble negación: ( p) ⇔ p

Ejemplo a: “No se da el caso que, no todos los hombres son racionales” equivale a
“Todos los hombres son racionales”
Ejemplo b. “Es falso que Descartes no sea francés” equivale a “Descartes es francés ”
03.3.Principio de conmutación: a. p Ʌ q ⇔ q Ʌ p
b. p v q ⇔ q v p
Ejemplo a. “la pizarra es blanca y el plumón es negro” equivale a “ El plumón es negro y la
Pizarra es blanca”
Ejemplo b. “O estás preocupado o estas enfermo” equivale a “o estas enfermo o estás preo-
cupado”
Ejemplo c. “Carlos tomó arsénico y murió”, el resultado no es el mismo si permutamos las
proposiciones”
03.4. Principio de asociación: a. p Ʌ ( q Ʌ r) ⇔ (p Ʌ q ) Ʌ r

b. p v (q v r) ⇔ (p v q) v r
03.5. Principio de distribución: a. Del conjuntivo al disyuntivo

P Ʌ (q v r) ⇔ (p Ʌ q) v (p Λ r)
Ejemplo a:”Los sabios dicen la verdad; sin embargo, o tienen problemas con la sociedad o
la religión los condena” equivale a “ o los sabios dicen la verdad y tienen problemas
con la sociedad, o los sabios dicen la verdad y la religión los condena”
b. Del disyuntivo al conjuntivo

p v (q Λ r) ⇔ (p v q) Λ (p v r)
Ejemplo b. “o los políticos mienten, o los filósofos dicen la verdad pero son idealistas” equiva
le a “ O los políticos mienten o los filósofos dicen la verdad, sin embargo , o los
políticos mienten o son idealistas”
SESIÓN 62
03.6. Teorema de De Morgan (DM): a. ( p Λ q ) ⇔ ¿ p ˅ q )
Ejemplo a. “Nieva y hace frio”, equivale a “No es el caso que no nieva o no hace frio”
b. ( p v q ) ⇔ ( p Λ q)
Ejemplo b. “O hace calor o sofoca”, equivale a “ No es el caso que no hace calor y no sofoca”
c. ( p ˄q ) ⇔ p ˅ q
Ejemplo c. “No es el caso que estudias y trabaja” equivale a “O no estudias o no trabajas”
d. ( p ˅q ) ⇔ p ˄ q
Ejemplo d. “No es el caso que viajes al sur o te quedes en la Capital” equivale a “ No viajes al
sur ni te quedes en la capital”
03.7. Definiciones del condicional a. ( p ⇒ q) ⇔ p ˅q

Ejemplo a. “Si Kant es filósofo entonces es idealista” equivale a “O Kant no es filósofo o es idea-
lista”
b. ( p ⇒ q) ⇔ ( p ˄ q)
Ejemplo b, “Si Kant es filósofo entonces es idealista” equivale a “No es el caso que Kant sea
filósofo y no sea idealista”
Negación De un condicional: ( p ⇒q ) ⇔ p Ʌ q
03.8. Definiciones del bicondicional. a. (p ⇔ q) ⇔ [ ( p ⇒ q ) ˄ ( q ⇒ p ) ]

Ejemplo a. “Una figura geométrica tiene tres ángulos si y solo si es un triángulo” equivale a
“ Si una figura geométrica tiene tres ángulos entonces es un triángulo, y si es un
triángulo entonces es una figura geométrica que tiene tres ángulos”.
b. ( p ⇔ q ¿ ⇔ [ ( p ˄q ) ˅( p ˄ q) ]
Ejemplo b. “Un número es positivo si y solo si es mayor que cero” equivale a “O un número es
positivo y es mayor que cero, o un número no es positivo y no es mayor que cero
03.9. Definición del disyuntivo fuerte. (p ↮ q) ⇔ (p ˅ q) ˄ (p ˄ q)

Ejemplo: “Te quedas o te vas” equivale a “ O te quedas o te vas”, pero no es el ,caso que
que te quedes y te vayas”

Sesión 61.-Leyes Del Algebra

Cargado por

Copyright:

Formatos disponibles

Sesión 61.-Leyes Del Algebra

Cargado por

Información del documento

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

Sesión 61.-Leyes Del Algebra

Cargado por

Copyright:

Formatos disponibles

RAZONAMIENTO LOGICO MATEMATICO SESIÓN 61-62

LEYES DEL ALGEBRA PROPOSICIONAL

02. PRINCIPIOS LÓGICOS DE LA LÓGICA TRADICIONAL.

02.1. El principio de la identidad: a. p ⇒ p

02.2.El principio del tercio excluido: a. p v p

02.3. El principio de no contradicción: b. ( p ˄ p)

03. EQUIVALENCIAS NOTABLES:

03.1.Principios de tautología (T) : a. ( p Λ p ) ⇔ p

03.2. Principio de Doble negación: ( p) ⇔ p

03.4. Principio de asociación: a. p Ʌ ( q Ʌ r) ⇔ (p Ʌ q ) Ʌ r

03.5. Principio de distribución: a. Del conjuntivo al disyuntivo

b. Del disyuntivo al conjuntivo

03.7. Definiciones del condicional a. ( p ⇒ q) ⇔ p ˅q

03.8. Definiciones del bicondicional. a. (p ⇔ q) ⇔ [ ( p ⇒ q ) ˄ ( q ⇒ p ) ]

03.9. Definición del disyuntivo fuerte. (p ↮ q) ⇔ (p ˅ q) ˄ (p ˄ q)

También podría gustarte