Académique Documents
Professionnel Documents
Culture Documents
Logica Matematica
TRABAJO COLABORATIVO 2
ESTUDIANTE:
TUTOR DE CURSO:
CRISTIAN CAMILO CASTEBLANCO
2016
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
Ejemplo:
Dado el ejemplo podemos concluir en la primera frase nos da dos términos verdaderos por lo
tanto la segunda y tercera frase también serían correctos plantearlos dado a que son verdades es
decir.
(1) 𝑃 → 𝑄 𝑃𝑅𝐸𝑃𝑂𝑆𝐼𝐶𝐼𝑂𝑁
(2) 𝑃 𝑃𝑅𝐸𝑃𝑂𝑆𝐼𝐶𝐼𝑂𝑁
(3)𝑄 𝑃𝑅𝐸𝑃𝑂𝑆𝐼𝐶𝐼𝑂𝑁
𝑃𝑃 = (1,2,3)
Ejemplo:
Logica Matematica
Dado el ejemplo podemos concluir que la frase contiene una termino positivo y uno
(1) 𝑃 → 𝑄 𝑃𝑅𝐸𝑃𝑂𝑆𝐼𝐶𝐼𝑂𝑁
(2) ¬𝑄 𝑃𝑅𝐸𝑃𝑂𝑆𝐼𝐶𝐼𝑂𝑁
(3) ¬ 𝑃 𝑇𝑇 = (1,2)
SIGOLISMO HIPOTETICO
Ejemplo:
Dado el ejemplo podemos concluir que las frases dadas ayudan a concluir otras a base de
𝑷𝟏 = 𝑷 → 𝑸
𝐏𝟐 = 𝐐 → 𝐑
𝑪= 𝑹 →𝑸
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
a. Supongamos que tenemos el argumento “Si Carolina pelea contra su EPS, tendrá sus
medicamentos; y tendrá buena calidad de vida, si tiene sus medicamentos. O Carolina
pelea contra su EPS, o se resigna rápidamente. Si se resigna rápidamente, la EPS
vulnerará sus derechos; y su estado de salud será crítico, si la EPS vulnera sus
derechos. Por tanto, no tiene buena calidad de vida entonces su estado de salud será
crítico
Premisas
P1(p→q)^(r→q)
P2: p˅s
P3(s→t)^(u→t)
C:¬r→u
FORMULA
{[(p→q)^(r→q)]^(p˅s)^(s→t)^(u→t)}→¬r→u
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
TABLA DE VERDAD
2n6= 2x2x2x2x2x2=64
p q r s t u {[(p→q)^(r→q)]^(p˅s)^(s→t)^(u→t)}→¬r→u
v v v v v v v
v v v v v f V
v v v v f v V
v v v v f f F
v v v f v v V
v v v f v f V
v v v f f v V
v v v f f f V
v v f v v v v
v v f v v f F
v v f v f v V
v v f v f f F
v v f f v v V
v v f f v f F
v v f f f v V
v v f f f f F
v f v v v v V
v f v v v f F
v f v v f v V
v f v v f f F
v f v f v v V
v f v f v f F
v f v f f v V
v f v f f f F
v f f v v v v
v f f v v f F
v f f v f v V
v f f v f f F
v f f f v v V
v f f f v f F
v f f f f v V
v f f f f f F
v v v v v v V
f v v v v f V
f v v v f v V
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
f v v v f f F
f v v f v v V
f v v f v f F
f v v f f v V
f v v f f f F
f v f v v v V
f v f v v f F
f v f v f v V
f v f v f f F
f v f f v v V
f v f f v f F
f v f f f v V
f v f f f f F
f f v v v v V
f f v v v f F
f f v v f v V
f f v v f f F
f f v f v v V
f f v f v f F
f f v f f v V
f f v f f f F
f f f v v v V
f f f v v f F
f f f v f v V
f f f v f f F
f f f f v v V
f f f f v f F
f f f f f v V
f f f f f f F
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
LEY DE INFRENCIA
P1(p→q)^(r→q)
P2: p˅s
P3(s→t)^(u→t)
C:¬r→u
______________
P4 (p→q) (S) P1
P5 (r→q) (S) P1
P6 (s→t) (S) P3
P7 (u→t) (S) P3
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
Logica Matematica
a. [(𝑝 ⟶ 𝑞) ∧ (∼ 𝑝 ⟶ 𝑟) ∧ (𝑟 ⟶ 𝑠)] ⟶ (∼ 𝑞 ⟶ 𝑠)
LENGUAJE NATURAL
Si Maria come verduras, entonces tendra defensas en el organismo. Pero si Maria no come las
verduras, se pondra debil. Y si se pone debil Maria, no podra salir a jugar. Por lo tanto si Maria
no tiene defensas en el organismo, entonces se quedara en la casa.
TABLA DE VERDAD
P Q R S
V V V V V
V V V F F
V V F V V
V V F F V
V F V V V
V F V F F
V F F V V
V F F F F
F V V V V
F V V F F
F V F V V
F V F F F
F F V V V
F F V F F
F F F V V
F F F F F
TRUTH TABLE
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
TAREA 4
Racionamiento inductivo
A Julio, a marcos y a mi nos gustan la música, la pintura y la escultura. A mi me gusta también
la literatuta; luego a marcos y a julio debe gustarles también la literatura.
Racionamiento deductivo
Todas las aves tienen pico, por lo tanto la paloma es una ave
Logica Matematica
Si A, entonces B
No B
Por lo tanto, no A
𝑝 → 𝑞 (𝑝𝑟𝑒𝑚𝑖𝑠𝑎)
~𝑞 (𝑝𝑟𝑒𝑚𝑖𝑠𝑎)
____________________
~𝑝 (𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖𝑜𝑛)
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
Ejemplos:
p=esta soleado
q=es de dia
𝑝 → 𝑞 (𝑆𝑖 𝑒𝑠𝑡𝑎 𝑠𝑜𝑙𝑒𝑎𝑑𝑜, 𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑒𝑠 𝑑𝑒 𝑑𝑖𝑎)
~𝑞 (𝑁𝑜 𝑒𝑠 𝑑𝑒 𝑑𝑖𝑎)
_____________________________________________________
~𝑝 (𝐿𝑢𝑒𝑔𝑜, 𝑛𝑜 𝑒𝑠𝑡𝑎 𝑠𝑜𝑙𝑒𝑎𝑑𝑜)
b. Supongamos que tenemos el argumento “Si no compramos una parcela, entonces construimos
una casa. Si construimos una casa, no compramos un apartamento. Si no compramos un
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
Logica Matematica
b. {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡
p: llegar temprano a casa
q: estudiar para el examen
r: aprobar el examen
s: Me podre graduar
t: ganare dinero
Si llego temprano a casa entonces estudiare para el examen. Si apruebo el examen entonces me
podre graduar. Si estudio para el examen y me puedo graduar entonces ganare dinero. Llego
temprano a casa y apruebo el examen, por lo tanto Ganare dinero
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
TAREA 4
Deductivo
Premisa 1: “Todos los mamíferos tienen sangre caliente.
Premisa 2: “el caballo es un mamífero”.
Conclusión: “el caballo es de sangre caliente”.
Inductivo
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
Premisa 1: Juan tiene 18 años, vive en la ciudad de Bogotá y siempre viaja a Medellín por la
feria de las flores.
Premisa 2: Pablo tiene 20 años, vive en la ciudad de Bogotá y siempre viaja a Medellín por la
feria de las flores.
Premisa 3: Alberto tiene 25 años, vive en la ciudad de Bogotá y siempre viaja a Medellín por la
feria de las flores.
Conclusión: Los jóvenes entre los 18 y 25 años que viven en la ciudad de Bogotá siempre
viajan a Medellín a la feria de las flores.
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
Tarea 1:
Inferencias Lógicas
Para definir las inferencias lógicas es necesario precisar algunos conceptos tales como
razonamiento y demostración.
Razonamiento es el proceso que se realiza para obtener una demostración.
Demostración es el encadenamiento de proposiciones que permiten obtener otra proposición,
llamada conclusión, a partir de ciertas proposiciones iniciales supuestas como verdaderas, que
reciben el nombre de premisas.
En la sección se hará un análisis más detallado de la demostración.
Las inferencias lógicas: son las conclusiones que se pueden obtener después de realizar un
razonamiento, este razonamiento solamente es verdadero si se cumplen las siguientes
condiciones:
1. Las premisas deben ser verdaderas.
2. Durante el proceso de deducción las premisas deben relacionarse sujetas a las leyes de la
lógica.
Logica Matematica
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
Logica Matematica
A = “llueve”
B = “el campo está seco”
C = “jugaremos básquetbol”
D = “jugaremos béisbol”
Este razonamiento se simboliza:
(1) A ˅ B (P)
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
(2) A → C (P)
(3) B → D (P)
(4) C ˅ D SD (1, 2, 3)
Empleando la simbología, la Ley Del Silogismo Disyuntivo (SD ó DS), se puede
expresar:
De P˅Q
Y P→ R
Y Q→S
Se puede deducir R˅ S
O se puede deducir S˅ R
A veces es conveniente considerar que para aplicar la Ley Del Silogismo Disyuntivo,
se han de dar los tres (3) pasos siguientes:
1. Se hace una inspección general para comprobar que se tiene la disyunción y
las dos (2) condicionales.
2. Se comprueba cuidadosamente que los dos (2) antecedentes de las dos (2)
condicionales son precisamente los dos (2) miembros de la disyunción.
3. Se forma como conclusión, una (1) disyunción cuyos miembros son preci
samente los dos (2) consecuentes de las dos (2) condicionales
Logica Matematica
https://es.scribd.com/doc/97208100/Ley-Del-Silogismo-Disyuntivo
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_a
nteriores/Modulo/2010_febrero_3_Modulo_de_Logica.pdf
Tarea 2: Problemas de aplicación I
Solucionar los siguientes enunciados y demostrar la validez o no validez del
argumento dado a través de:
Uso de las tablas de verdad.
Uso de las reglas de inferencia.
Uso del simulador Truth Table.
“El reloj marcaba las 8:00 de la noche, entonces Carlos salió de su trabajo
a las 7:00 pm y vio salir a Jaime de la empresa. Si la información de
Jaime es veraz, entonces Carlos no vio salir a Jaime de la Empresa. La
información de Jaime es veraz o estaba en la empresa en el momento del
robo del dinero. El reloj marcaba las 8:00 de la noche. Por lo tanto,
Jaime estaba en la empresa en el momento del robo del dinero”.
Uso de las reglas de inferencia:
o LEY DEL SILOGISMO DISYUNTIVO
Preposiciones
p = El reloj marcaba las 8:00 de la noche
q = Carlos salió de su trabajo a las 7:00 pm
r = Carlos vio salir a Jaime de la empresa
s = La información de Jaime es veraz
t = Jaime estaba en la empresa en el momento del robo del dinero.
Premisas
(1) El reloj marcaba las 8:00 de la noche, (P)
Logica Matematica
(𝑝 → q) Ʌ (r)
𝑠 → (¬r)
S Ʌ ( ¬S → t)
(𝑝 → t)
Tablas de verdad - Variables: (p, q, r, s, t)
2𝑛 = 25 = 32 Renglones
[(𝒑 → 𝒒) ^ (𝒔 → (¬𝐫)) ^ (𝐒 Ʌ (¬𝐒 → 𝐭))^(𝒑 → 𝒕)] → 𝒕
Logica Matematica
14 V F F V F F V V F
15 V F F F V F F V V
16 V F F F F F F F F
17 F V V V V F F V V
18 F V V V F F F V F
19 F V V F V F F V V
20 F V V F F F F F F
21 F V F V V F V V V
22 F V F V F F V V F
23 F V F F V F F V V
24 F V F F F F F F F
25 F F V V V F F V V
26 F F V V F F F V F
27 F F V F V F F V V
28 F F V F F F F F F
29 F F F V V F V F V
30 F F F V F F V V F
31 F F F F V F F V V
32 F F F F F F F F F
Logica Matematica
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F F
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F F
F F F T T T
F F F T F T
F F F F T T
F F F F F T
(𝑟 ⟶ 𝑡) [(𝑝 ⟶ 𝑞) ∧ (𝑟 ∨ 𝑠) ∧ (𝑟 ⟶ 𝑡) ∧ (∼ 𝑞) ∧ (𝑢 ⟶ 𝑡) ∧ (𝑠 ⟶ 𝑝)] ⟶ 𝑡
p q r s t u (𝑝 ⟶ 𝑞) (𝑟 ∨ 𝑠) ∼𝑞 𝑢⟶𝑡 𝑠⟶𝑝
1 V V V V V V V F V F V V V
2 V V V V V F V F V F V V V
3 V V V V F V V F V F V V V
4 V V V V F F V F V F F V V
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
5 V V V F V V V V V F V V V
6 V V V F V F V V V F V V V
7 V V V F F V V V V F V V V
8 V V V F F F V V V F F V V
9 V V F V V V V V V F V V V
10 V V F V V F V V V F V V V
11 V V F V F V V V F F V V V
12 V V F V F F V V F F F V V
13 V V F F V V V F V F V V V
14 V V F F V F V F V F V V V
15 V V F F F V V F F F V V V
16 V V F F F F V F F F F V V
17 V F V V V V F F V V V V V
18 V F V V V F F F V V V V V
19 V F V V F V F F V V V V V
20 V F V V F F F F V V F V V
21 V F V F V V F V V V V V V
22 V F V F V F F V V V V V V
23 V F V F F V F V V V V V V
24 V F V F F F F V V V F V V
25 V F F V V V F V V V V V V
26 V F F V V F F V V V V V V
27 V F F V F V F V F V V V V
28 V F F V F F F V F V F V V
29 V F F F V V F F V V V V V
30 V F F F V F F F V V F V V
31 V F F F F V F F F V V V V
32 V F F F F F F F F V F V V
33 F V V V V V V F V F V V V
34 F V V V V F V F V F V V V
35 F V V V F V V F V F V V V
36 F V V V F F V F V F F V V
37 F V V F V V V V V F V F V
38 F V V F V F V V V F V F V
39 F V V F F V V V V F V F V
40 F V V F F F V V V F F F V
41 F V F V V V V V V F V V V
42 F V F V V F V V V F V V V
43 F V F V F V V V F F V V V
44 F V F V F F V V F F F V V
45 F V F F V V V F V F V F V
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
46 F V F F V F V F V F V F V
47 F V F F F V V F F F V F V
48 F V F F F F V F F F V F V
49 F F V V V V V F V V V V V
50 F F V V V F V F V V V V V
51 F F V V F V V F V V V V F
52 F F V V F F V F V V F V V
53 F F V F V V V V V V V F V
54 F F V F V F V V V V V F V
55 F F V F F V V V V V V F V
56 F F V F F F V V V V F F V
57 F F F V V V V V V V V V V
58 F F F V V F V V V V V V V
59 F F F V F V V V F V V V F
60 F F F V F F V V F V F V V
61 F F F F V V V F V V V F V
62 F F F F V F V F V V F F V
63 F F F F F V V F F V V F V
64 F F F F F F V F F V F F V
(1) (𝑝 ⟶ 𝑞) ∧ (𝑟 ∨ 𝑠) (P)
(2) (𝑟 ⟶ 𝑡) ∧ (∼ 𝑞) (P)
(3) (𝑢 ⟶ 𝑡) ∧ (𝑠 ⟶ 𝑝) (P)
(4) [(𝑝 ⟶ 𝑞) ∧ (𝑟 ∨ 𝑠) ∧ (𝑟 ⟶ 𝑡) ∧ (∼ 𝑞) ∧ (𝑢 ⟶ 𝑡) ∧ (𝑠 ⟶ 𝑝)] ⟶ SD (1, 2, 3)
Logica Matematica
O se puede deducir (∼ 𝑞) ∧ (𝑟 ⟶ 𝑡)
p q r s t u [(p→q)Λ(rVs)Λ(r→t)Λ(¬q)Λ(u→t)Λ(s→p)]→t
T T T T T T T
T T T T T F T
T T T T F T T
T T T T F F T
T T T F T T T
T T T F T F T
T T T F F T T
T T T F F F T
T T F T T T T
T T F T T F T
T T F T F T T
T T F T F F T
T T F F T T T
T T F F T F T
T T F F F T T
T T F F F F T
T F T T T T T
T F T T T F T
T F T T F T T
T F T T F F T
T F T F T T T
T F T F T F T
T F T F F T T
T F T F F F T
T F F T T T T
T F F T T F T
T F F T F T T
T F F T F F T
T F F F T T T
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
T F F F T F T
T F F F F T T
T F F F F F T
F T T T T T T
F T T T T F T
F T T T F T T
F T T T F F T
F T T F T T T
F T T F T F T
F T T F F T T
F T T F F F T
F T F T T T T
F T F T T F T
F T F T F T T
F T F T F F T
F T F F T T T
F T F F T F T
F T F F F T T
F T F F F F T
F F T T T T T
F F T T T F T
F F T T F T T
F F T T F F T
F F T F T T T
F F T F T F T
F F T F F T T
F F T F F F T
F F F T T T T
F F F T T F T
F F F T F T T
F F F T F F T
F F F F T T T
F F F F T F T
F F F F F T T
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
F F F F F F T
Tarea IV
Deben hacer un ejemplo de una situación de razonamiento inductivo y otro ejemplo de una
situación de razonamiento deductivo.
Razonamiento inductivo:
Existen varias clases de argumentos, unos permiten demostrar las conclusiones a partir de la
validez de sus premisas (método deductivo), mientras que otros sólo buscan establecer si las
premisas son probables o probablemente verdaderas, sin pretender demostrar la verdad de sus
conclusiones como consecuencia necesaria de las premisas, este tipo de argumentos recibe el
nombre de Argumentos Inductivos.
-observación y experiencia las bases de la inducción----
El método inductivo es un tipo de razonamiento que se deriva de la observación y de la
experiencia, lo cual lo hace totalmente diferente al método deductivo y se basa
fundamentalmente en dos aspectos:
1. En la semejanza que hay entre los objetos. ---OBSERVACIÓN.
2. En suponer que un suceso puede volver a ocurrir teniendo en cuenta que en
condiciones similares ha sucedido. ---EXPERIENCIA
El primer aspecto hace referencia a la observación y el segundo en la experiencia.
La observación y la experiencia nos inducen a una conclusión: La aplicación o el análisis
de estos dos aspectos permiten inferir o pronosticar los efectos que producirá la ocurrencia del
suceso, tomando como referencia lo ocurrido con eventos anteriores de características
similares.
Argumentos inductivos
El problema de la inducción: Una inducción típica, analizada sobre el modelo de la deducción,
tiene como premisas formulaciones particulares, por ejemplo: “el evento a del tipo X, es
seguido del evento b, del tipo Y”, “el evento c del tipo X es seguido del evento d del tipo Y”, y
así sucesivamente; tiene por conclusión una formulación general, Sin restricciones: “eventos
del tipo X son seguidos por eventos del tipo Y”.
En este caso surge un problema lógico porque según el método deductivo, los argumentos de
esa forma no son válidos, de manera que no se puede inferir esa conclusión, ni saber si es
verdadera basada en la verdad de las premisas.
El problema lógico de cómo justificar ese tipo de razonamientos se llama tradicionalmente “el
problema de la inducción” las razones de este problema son:
1. Como la conclusión es general, tendrá una aplicación más amplia de la que
cualquier conjunto de premisas pueda garantizar.
LA CLAVE (La conclusión es más general que las premisas).
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
Logica Matematica
Ejemplo 2
Si alguien dice que le han extraído una muela sin anestesia y otro le expresa su consideración,
entonces surge la pregunta:
¿Cómo sabe que le dolió? Una respuesta podría ser: “Yo he ido al odontólogo y sé cuánto
duele una simple curación sin anestesia.
¿Cómo será una extracción?, él tiene el mismo tipo de sistema nervioso que yo, por lo tanto
puedo inferir que en esas condiciones, sintió un terrible dolor”
En este caso el argumento analógico se fundamenta en la EXPERIENCIA, teniendo en cuenta
que en condiciones similares ya sucedió.
Logica Matematica
TAREA 4
EJEMPLO:
Si esta planta no crece, entonces o necesita más agua o necesita mejor abono. Esta planta no
crece.
P: Esta planta crece
Q: Necesita Mas Agua
A: Necesita mejor abono
¬P→QVA
¬P
______________
.: Q V A
En palabras podemos concluir que esta planta necesita más agua o más abono.
https://prezi.com/zz07kof7pkxz/leyes-de-inferencia-ley-simplificacion-disyuntiva/
LEY DE ABSORCIÓN
Se le llama “absorción” porque da la apariencia de Q es absorbido por P. Para reconocer una
preposición de absorción es sencillo, solo debemos fijarnos en los dos conectores lógicos, el
segundo conector debe ser opuesto al primero.
Ejemplo: …^(… V …) =…
Como decíamos anteriormente la P es dominante ante las demás preposiciones por la función de
los (…) por tal motivo las preposiciones son iguales a: P
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
P V (P ^ Q) ≡ P
P ^ (P V Q) ≡ P
Si probamos la ley de absorción en el siguiente ejemplo obtendremos los siguientes:
P Q P^Q P V (P ^ Q)
V V V V
V F F V
F V F F
F F F F
Otro concepto es la ley de la absorción por transitividad, el cual se conmutan los conectores
lógicos y no cambian el resultado:
P y (P o Q) <=> P o (P y Q)
https://prezi.com/m1w_2_utt3nw/absorcion-en-la-logica-proposicional/
LEY DE MORGAN (D M)
Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una
conjunción en una disyunción. Cuando se pasa de una a otra, se cambian los valores de
afirmación y negación de los términos de la disyunción/conjunción así como de la propia
operación en conjunto, como podemos observar aquí:
pΛqpVq
¬(¬p V ¬q) ¬(¬p Λ ¬q
Cuando se tienen varias premisas -o proposiciones que se sabe son verdaderas- y se quiere sacar
las conclusiones derivadas de ellas, se pueden aplicar una o varias leyes lógicas, en forma
repetida si fuere necesario, para construir nuevas proposiciones simples o compuestas que sean
verdaderas y que conduzcan a conclusiones útiles en forma totalmente lógica.
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
Por ejemplo:
Se sabe que las siguientes proposiciones son verdaderas: (premisas)
1. La tarde del domingo golpearon a Juan
2. Si alguien estaba en B no pudo ver la pelea
3. Juan estuvo toda la tarde del domingo en A con Carlos y Pedro
4. Ángel estuvo con Luís en B toda la tarde del domingo
5. María estuvo con Rosa en B todo el día.
6. Pedro dijo que Ángel golpeó a Juan.
7. Rosa dijo que vio a Carlos golpear ese domingo a Juan en A.
De ellas, aplicando leyes lógicas ya conocidas se pueden obtener como verdaderas:
El domingo de los hechos:
De 3 salen tres proposiciones:
Estuvo en A toda la tarde 8)
Carlos estuvo en A toda la tarde (9)
Pedro estuvo en A toda la tarde (10)
De 4 salen dos proposiciones:
Ángel estuvo en B toda la tarde (11)
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENERIA ECBTI03
Logica Matematica
Logica Matematica
REFERENCIAS
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_a
nteriores/Modulo/2010_febrero_3_Modulo_de_Logica.pdf