Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Pensamiento lógico
matemático
TÉCNICO PROFESIONAL EN SEGURIDAD VIAL
GUÍA DEL ESTUDIANTE
1. IDENTIFICACIÓN DE LA ASIGNATURA
3. COMPETENCIA GLOBAL
Identificar las diferentes clases de conflicto armado, permite diferenciar y actuar frente a
diversas situaciones en el servicio, un Policía que conoce el Derecho Internacional
Humanitario, no cae fácilmente en el error, actúa de acuerdo con los tratados y convenios
internacionales, asocia su responsabilidad y asesora para no llegar a incurrir en antijuricidad
(Vulnerar derechos sin justa causa).
6.4 INVESTIGACIÓN
7. UNIDADES TEMÁTICAS
TEMAS Y SUBTEMAS
CONCEPTO
Una PROPOSICIÓN o enunciado es una oración que puede ser falsa o verdadera
pero no ambas a la vez. Si no puede concluir que es verdadero o falso no es
proposición. La verdad o falsedad de una proposición es lo que se llama su valor
lógico o valor de verdad.
CLASES DE PROPOSICIONES
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:
La veracidad o falsedad de una proposición compuesta, depende del valor de verdad de cada
una de las proposiciones simples que la conforman y del tipo de conector utilizado.
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í:
Nombre del
Símbolo
conectivo
Y ^
O v
…Si…Entonces… ….→….
……Si y solo
...↔...
si……
No ~
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.
9
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 bicondicional (el ... si y solo si...).
No ~ Negación
CONJUNCIÓN: Es una proposición compuesta formada por dos o más proposiciones simples
que están enlazadas mediante el conector “Y”. la proposición compuesta resultante se le
llama conjunción (pΛq). Su símbolo es: Λ·
TABLA DE VERDAD
p q p q
V V V
V F F
F V F
F F F
EJEMPLOS:
Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el tanque y
tiene corriente en la batería"
10
Sean:
p= tiene gasolina el tanque
q = tiene corriente la batería
p ^ q= el auto enciende
La conclusión resultante es que para que el auto encienda se debe tener gasolina
en el tanque y corriente en la batería, sino se tiene una de estas dos condiciones
el auto no arrancará
La proposición Compuesta es VERDADERA únicamente cuando las proposiciones
simples son verdaderas
TABLA DE VERDAD
p q p Vq
V V V
V F V
F V V
F F F
EJEMPLOS:
Está lloviendo o es de noche.
Está feliz o está enojado.
11
Está caminando o está lloviendo.
Hay derivadas o hay integrales.
Sea el siguiente enunciado "Una persona puede entrar al cine si compra boleto u
obtiene un pase"
Sean:
p= compra boleto
q = obtiene un pase
p v q = una persona entra al cine
La conclusión resultante es obvia, puesto que para entrar al cine es necesario tener
por lo menos una de las dos condiciones: comprar un boleto o tener un pase, si se
tiene ambas también se puede entrar, si no tengo ninguna de las dos alternativas
entonces no se puede entrar al cine.
TABLA DE VERDAD
12
p q p q
V V F
V F V
F V V
F F F
p q p q
V V V
V F F
F V V
F F V
13
el consecuente es verdadero, puede ser que el cuerpo no se calentó y el cuerpo se dilato por
causa de otros factores ajenos a la temperatura, un golpe
Observe cada caso y constata que la proposición indica una condición para que se lleve a
cabo lo aseverado en la oración principal:
CONDICION (antecedente)
1. si me acompañaras
2. si quieres
3. si me prometes ser puntual
4. si pones atención
5. si asisto por las tardes
ASEVERACION (consecuente)
1. me alegraría mucho
2. paso por ti a las seis
3. te llevaré al baile
4. aprenderás más pronto
5. podría llevar dos materias
14
BICONDICIONAL. ( Se simboliza: “ ”, se lee: “ Si y sólo si ” ) Se denota “ p q ” y se lee: “ p
si y sólo si q ”. También llamado equivalencia o implicación doble, es una proposición de la forma
“p si y sólo si q”, en la cual tanto p como q son ambas ciertas o ambas falsas. También se dice
que q es una condición necesaria y suficiente para p, (p↔q).
EJEMPLOS:
TABLA DE VERDAD
p q p q
V V V
V F F
F V F
F F V
NEGACIÓN: Si p es una proposición fundamental, de ésta se puede formar otra proposición, que
se le llama Negación de p, escribiendo: “Es falso que” antes de p, ó, cuando es posible, se inserta
en p la palabra “No”, (¬p) Su símbolo es: ¬, ~
15
TABLA DE VERDAD p ~p
V F
F V
EJEMPLOS:
No está lloviendo.
La señora no cenó.
Es falso que 5×2=12.
Es falso que Alemania se encuentra en Europa.
p ~p
Corozal es un
no es verdad que Corozal es un municipio de Sucre. O también
municipio de
se puede escribir: Corozal no es un municipio de Sucre.
Sucre.
Todos los gatos no es verdad que todos los gatos son cuadrúpedos. O también
son cuadrúpedos. se puede escribir: No todos los gatos son cuadrúpedos.
EJEMPLOS
Gabriel García Márquez fue un gran p: Gabriel García Márquez fue un gran escritor
escritor y bailarín. q: Gabriel García Márquez fue un gran y p^q
16
bailarín.
Las células son procariotas o eucariotas. p: Las células son procariotas p˅q
q :Las células son eucariotas
La raíz cuadrada de 25 es 5, o -5. p: La raíz cuadrada de 25 es 5. p˅q
q: La raíz cuadrada de 25 es -5.
No todos los números primos son p: todos los números primos son impares ~p
impares.
Turquía es un país que se encuentra en p: Turquía es un país de Asia
Asia y Europa. q: Turquía es un país de Europa p^q
Una ballena no es roja. P: La ballena es roja ~p
V V ˅
V
c) 6 + 4 = 10 y √2 ∗ √2 = 2
˄ V V
V
d) √3 + √2 = √5 y 4 + 4 = 8
F
^ V
F
e) 2 + 5 = 7 sí y sólo sí, 3 + 6 = 9
V ↔ V
V
f) Si 3 – 1 = 2 entonces 2 + 2 = 4
→V V
V
g) Si 2 + 2 = 4, entonces 3 + 3 = 7 si y solo si 1 + 1 = 4
(V → F) ↔ F
F ↔ F
3. Si la proposición compuesta (~p ˄ r) ↔ q es falsa, Halle los valores de “p”, “q” y “r” respectivamente.
17
Como (~p ˄ r) → q es falso significa que:
(~p ˄ r) es V y q es F (por proposición condicional)
Como (~p ˄ r) es verdadero, se cumple cuando
~p es V y r es V (por conjunción)
p es F, porque ~p es verdadera.
SOLUCION p es F, q es F y r es V.
18
VIDEOS DE APOYO PARA EL DESARROLLO DEL TEMA
Información tomada de
http://anderstivogm.blogspot.com/2010/05/conectivos-logicos-y-tabla-de-verdad.html
https://docplayer.es/46349864-Valores-de-verdad-de-los-operadores-logicos.html
ejemplo_de_proposiciones_condicionales.html
https://www.profezapa.com/negacion-de-proposiciones-simples/
Ejemplos:
19
n m n↔m
V V V
V F F
F V F
F F V
7.1.6 Tautología, contradicción y equivalencia
TAUTOLOGÍA
Una tautología es una proposición compuesta cuyo valor de verdad siempre es verdadero
independientemente del valor de las proposiciones que la componen.
CONTRADICCION
Es una proposición compuesta que siempre es falsa independientemente de la veracidad de las
proposiciones componentes.
Ejemplos:
1. Verificar si las siguientes proposiciones son tautologías o contradicciones. En la siguiente
tabla de colocaremos los posibles valores de verdad de n y m
a. (n →m ) → (~n V m)
n m
V V
V F
F V
F F
b. En primer lugar adicionamos la negación de n (~n)
n m ~n
V V F
V F F
F V V
F F V
c. Teniendo en cuenta los valores de verdad de condicional hallado
( n →m)
n m ~n n→m
V V F V
V F F F
F V V V
F F V V
20
d. Calculamos la Disyunción (~ n V m)
n m ~n n→m ~n V m
V V F V V
V F F F F
F V V V V
F F V V V
n m ~n n→m ~n V m
V V F V V V
V F F F F V
F V V V V V
F F V V V V
2. Verifiquemos si la proposición
(n →m ) → (n V ~ m) es Tautología o contradicción
n m
V V
V F
F V
F F
b. Adicionamos la negación de m, es (~m)
n m (~m)
V V F
V F V
F V F
F F V
21
c. Calculamos la condicional (n →m )
n m (~m) (n →m )
V V F V
V F V F
F V F V
F F V v
d. Hallamos la proposición ( n ˄~ m)
n m (~m) (n →m ) ( n ˄~ m)
V V F V F
V F V F V
F V F V F
F F V v F
e. Calculamos la bicondicional pedida, para verificar si es Tautología o contradicción (n
→m ) → (n V ~ m)
n m (~m) (n →m ) ( n ˄~ m) (n →m ) → (n V ~
m)
V V F V F F
V F V F V V*
F V F V F F
F F V v F F
f. Podemos verificar que no es una contradicción, ya que presenta un componente
verdadero*
EQUIVALENCIA:
Ocurre cuando dos proposiciones atómicas p y q tienen el mismo contenido lógico, es decir, el
mismo valor de verdad. Cuando ocurre esto se dice que dos afirmaciones son lógicamente
equivalentes.
Ejemplo:
Las dos sentencias siguientes son lógicamente equivalentes:
1. Si laura está en Francia, entonces ella está en Europa
Ejemplo:
Verificar si las proposiciones bicondicionales que se dan son equivalentes lógicas o no.
~A˄~B ↔ ~(A ˅B)
A B
V V
V F
F V
F F
A B ~A
V V F
V F F
F V V
F F V
A B ~A ~B
V V F F
V F F V
F V V F
F F V V
A B ~A ~B ~A˄~B
V V F F F
V F F V F
F V V F F
F F V V V
23
A B ~A ~B ~A˄~B A ˅B
V V F F F V
V F F V F F
F V V F F F
F F V V V V
V V F F F V F V
V F F V F V F V
F V V F F V F V
F F V V V F V V
Estos principios lógicos nos permiten transformar de los esquemas llamados origen a otro llamado
derivado que será de absoluta equivalencia, para ello es necesario usar de manera adecuada y
correcta cada uno de los principios lógicos.
Esta son una serie de identidades lógicas que servirán en la resolución y simplificación de
esquemas moleculares más complejas. Este tipo de esquemas también nos ayudan a evitar las
aburridas tablas de verdad.
Ley de involución
∼(∼p)≡p∼(∼p)≡p
Leyes de Idempotencia
Una cadena de conjunciones o disyunciones de una misma proposición resulta ser tal
24
proposición.
p∧p ≡ pp∧p ≡ p
p∨p ≡ pp∨p ≡ p
Leyes Conmutativas
p∨q≡q∨pp∨q≡q∨p
p△q≡q△pp△q≡q△p
p↔q≡q↔pp↔q≡q↔p
Leyes Asociativas
Esta ley establece la posibilidad de poder agrupar como quieras una proposición formada por una
serie de conjuntivos, disyuntivos o bicondicionales por signos de agrupación como veras a
continuación:
(p∧)∧r≡p∧(q∧r)(p∧)∧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↔r)
Leyes Distributivas
Las propiedades de distribución de los conectivos lógicos son como sigue (no lo puedo expresar
en palabras porque no se me ocurre como):
p∧(q∨r)≡(p∧q)∨(p∧r)p∧(q∨r)≡(p∧q)∨(p∧r)
25
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)≡(p→q)∨(p→r)p→(q∨r)≡(p→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)
IMPLICACIONES NOTABLES
También existen una serie de leyes para las implicaciones notables y tiene una representación
esquemática vertical, todos y cada una de ellas tiene la siguiente forma general:
p1∧p2∧p3∧⋯∧pn⇒qp1∧p2∧p3∧⋯∧pn⇒q
También se puede representar así omitiendo los conectores conjuntivos así:
p1p2p3⋮pn∴qp1p2p3⋮pn∴q
En cualquiera de los dos casos qq es consecuencia directa
de p1∧p2∧p3∧⋯∧pnp1∧p2∧p3∧⋯∧pn. Según estos puntos, anunciamos las siguientes
implicaciones notables.
26
Ley de modus tollens
(p→q)∧∼q⇒∼p(p→q)∧∼q⇒∼p
Y se representa:
p→q∼q∴∼pp→q∼q∴∼p
Esta ley nos dice que si negamos el consecuente se prueba la negación del antecedente de la
Y se representa:
p→q∼q∴∼pp→q∼q∴∼p
Esta ley nos dice que si negamos el consecuente se prueba la negación del antecedente de la
inferencia. A modo de ejemplo:
Si a=3, entonces a3=27a3≠27por tanto, a≠3Si a=3, entonces a3=27a3≠27por tanto, a≠3
Se llama Modus Tollendo Tollens, que se enuncia: Modo (“modus”) mediante el cual, dada una
implicación y la negación (“tollendo”) e sus consecuente, entonces se concluye con la negación
(“tollens”) de su antecedente.
Ejemplo:
27
1. Si Rafael es Francés, entonces es Europeo
2. Rafael no es Europeo
Simbólicamente:
Sea
A: Rafael es Francés
B: Rafael es Europeo
1. A→B P
2. ~B P
3. ~A (CONCLUSIÓN)
Se observa que:
Como en el caso del PP, el razonamiento se puede escribir de dos maneras ya que no exige
que las premisas se den en orden.
Forma 1
28
1. p →q P
2. ~q P
3. ~p TT 1,2
Forma 2
1. ~q P
2. p →q P
3. ~p TT 1,2
(p→q)∧p⇒q(p→q)∧p⇒q
p→qp∴qp→qp∴q
Esta ley nos dice que si se prueba el antecedente, también se prueba el consecuente de la
inferencia.
29
Ley del silogismo disyuntivo
A estas alturas, no comprender esta ley, me dejaría mucho que desear de ti querido amigo lector,
es tan sólo sentido común, está representado de la siguiente manera:
(p∨q)∧∼p⇒q(p∨q)∧∼p⇒q ó (p∨q)∧∼q⇒p(p∨q)∧∼q⇒p
Míralo bien y te darás cuenta del sentido lógico en la forma vertical de esta ley en sus dos
versiones:
p∨q∼p∴qp∨q∼p∴q p∨q∼q∴pp∨q∼q∴p
En una disyunción inclusiva, si negamos una de las dos posibilidades, entonces se afirma la otra
posibilidad que nos queda. Por ejemplo:
Soy niño o niña No soy niño Por tanto, soy niña Soy niño o niña No soy niño Por tanto, soy niña
Esta ley también es muy usada en las demostraciones matemáticas, y por lo general requiere de
una doble demostración, es decir, el consecuente hace de antecedente y el antecedente hace de
consecuente, naturalmente una se deduce de la otra, totalmente alejado del concepto de la
condicional como ya se explicó. Su representación simbólica es:
(p↔q)∨p⇒q(p↔q)∨p⇒q
Su representación esquemática resalta el sentido común de esta ley, míralo bien y te darás cuenta
de su sencillez:
p↔qp∴qp↔qp∴q
30
Ley del silogismo hipotético
Este lay también es reconocida por nuestro sentido común, es una serie de implicaciones
sucesivas, aunque en su estructura representativa usemos la condicional material, realmente se
trata de una inferencia lógica, simbólicamente se representa así:
(p→q)∧(q→r)⇒p→r(p→q)∧(q→r)⇒p→r
p→qq→r∴p→rp→qq→r∴p→r
Lo que nos indica esta ley es que si una proposición implica una segunda proposición y la segunda
proposición implica una tercera proposición, entonces la primera proposición implica la tercera
proposición, aquí un ejemplo:
Esta ley es similar como la anterior, solo que para este caso, se usan bicondicionales, su
representación simbólica es como sigue:
(p↔q)∧(q↔r)⇒p↔r(p↔q)∧(q↔r)⇒p↔r
p↔qq↔r∴p↔rp↔qq↔r∴p↔r
Como que me es difícil explicarlo literalmente, más fácil con un lindo ejemplo:
Ley de la simplificación
31
Recordar que una equivalencia o una implicación siempre es una afirmación como ya comente
en esta entrada, menciono esto para no tener problemas con este ley y las dos subsiguientes que
presentaré en breve. Describimos esta ley.
Esta ley solo funciona con una proposición conjuntiva, es una inferencia inmediata válida donde
solo se aplica el sentido común. Su representación lógica inmediata es:
p∧q⇒pp∧q⇒p ó p∧q⇒qp∧q⇒q
Si p∧q p∧q es verdadera, entonces pp es verdadera (o bien qq también es verdadera como nueva
conclusión),
Veámoslo de manera vertical en sus dos versiones:
Ejemplo:
Ley de la adición
Esta ley es sencilla de comprender, en esta ley podemos agregar sin problema alguno una
proposición adicional a la conclusión sin afectar el valor de verdad de la inferencia en general, se
representa así:
p⇒p∨qp⇒p∨q ó q⇒p∨qq⇒p∨q
Su forma vertical en los dos casos sería:
p∴p∨qp∴p∨q q∴p∨qq∴p∨q
32
Ejemplo:
✔ Yo soy Supermán
✔ Por tanto, yo soy Supermán o Batman
Ley de la contradicción
Si tengo una premisa donde deduzco una conclusión donde encuentro argumentos
contradictorios, entonces la premisa es negada, simbólicamente se escribe:
p→(q∧∼q)⇒∼pp→(q∧∼q)⇒∼p ó ∼p→(q∧∼q)⇒p∼p→(q∧∼q)⇒p
p→(q∧∼q)∴∼pp→(q∧∼q)∴∼p ∼p→(q∧∼q)∴p∼p→(q∧∼q)∴p
1. Método por tablas de la verdad : Es el método más sencillo de usar pero a la vez el más tedioso y
genera mucho tiempo de solución.
33
En el enunciado se niega a p y se niega a q quedando de la siguiente forma:
34
Recuerde que la estructura de la fórmula proposicional viene
dada por unas premisas y una conclusiones y que esto sea una
tautología.
2. Método abreviado 𝑷𝟏 ∧ 𝑷𝟐 ∧ 𝑷𝟑 … . . → 𝑪
Este método consiste en asignar valores a los conectores y simplifica el uso de las tablas de la verdad.
Para ello se debe suponer que la conclusión es falsa y las premisas verdaderas; luego aplicando las tablas
lógicas de (conjunción, disyunción, condicional, bicondicional) inferir los resultados para dar cuenta si es
o no una tautología.
Paso 1: damos valor de verdad a cada premisa y la conclusión como falsa. El conector que separa la
estructura en premisas y conclusión en este caso es el condicional.
Paso 2: En la conclusión podemos determinar que es falsa si y solo si r es falsa y p es verdadera (revisar
la tabla del condicional)
Sabiendo que p es V y r es F entonces se asignan esos valores en las premisas queda de la siguiente
manera :
p→r (V,F)
p →q (V, V)
r →q (F,V) 35
Paso 4: finalmente la conjunción (∧) solo es verdadero si las dos premisas son Verdaderas. Como la
conclusión es falsa y al no encontrar contradicción alguna se concluye que no es una tautología.
Para demostrar si es una tautología o no; entonces recordemos las reglas fundamentales de la
lógica proposicional
Reglas de equivalencia
Otras equivalencias
𝒑∨𝒑≡ 𝒑
𝒑∧𝒑 ≡ 𝒑
𝒑 → 𝒒 ≡ ~𝒒 → ~𝒑
Reglas de inferencia
36
7.1.10 Demostración por contradicción
En este método se quiere demostrar que 𝑝 → 𝑞 es verdadera pero se asume que el consecuente (tesis)
es falso e decir ~𝑞 forma parte de las premisas iniciales. Luego usando las reglas de la lógica se parte
de las premisas que siendo válidas para llegar a una contradicción.
𝒑 ≡ 𝒊𝒏𝒗𝒂𝒔𝒊ó𝒏 𝒅𝒆 𝒄𝒂𝒓𝒓𝒊𝒍
𝒒 ≡ 𝒆𝒎𝒃𝒓𝒊𝒂𝒈𝒖𝒆𝒛
P1:~𝒒
P2: (𝒑 ∨ 𝒒) ∧ ~𝒒 Por premisa inicial (hipótesis) Se concluye que es
P3: 𝒑 ∨ 𝒒 por simplificación en P2
P4: ~ 𝒒 por simplificación en P2 una tautología
P5: 𝒒 por silogismo disyuntivo de P1 y P3
P6: Falso en P1 y P5 por contradicción.
Ejemplo:
Eres matemático o ingeniero, pero no eres matemático por lo tanto eres ingeniero. Al formalizar nos
queda:
𝑝 ≡ 𝑒𝑟𝑒𝑠 𝑚𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑜
𝑞 ≡ 𝑒𝑟𝑒𝑠 𝑖𝑛𝑔𝑒𝑛𝑖𝑒𝑟𝑜
Vamos a llegar a 𝑟 a partir de las premisas P1 y P2 generando otras premisas haciendo uso de las reglas
de la lógica.
P1: (𝑝 ∨ 𝑞)
P2: ∼ 𝑝
P3: 𝑞 𝑝𝑜𝑟 𝑠𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜 𝑑𝑖𝑠𝑦𝑢𝑛𝑡𝑖𝑣𝑜 𝑑𝑒 𝑃1, 𝑃2 (𝑝 ∨ 𝑞) ∧∼ 𝑝 → 𝑞
Llegando a la conclusión.
Demostrar que: 𝑝 ∨ (𝑝 ∧ 𝑞) → 𝑝 𝑒𝑠 𝑢𝑛𝑎 𝑡𝑎𝑢𝑡𝑜𝑙𝑜𝑔í𝑎
P1: 𝑝 ∨ (𝑝 ∧)𝑞
P2: (𝑝 ∨ 𝑝) ∧ (𝑝 ∨ 𝑞) por equivalencia distributiva en P1
P3: 𝑝 ∧ (𝑝 ∨ 𝑞) por idempotencia en P2
37
P4: 𝑝 por simplificación en P3.
Llegando a la conclusión.
Ejemplo 2:
Juan va a exceso de velocidad. Si va a exceso de velocidad entonces causa un accidente. Si
causa un accidente entonces no es prudente
𝑝 ≡ 𝑒𝑥𝑐𝑒𝑠𝑜 𝑑𝑒 𝑣𝑒𝑙𝑜𝑐𝑖𝑑𝑎𝑑
𝑞 ≡ 𝑐𝑎𝑢𝑠𝑎 𝑢𝑛 𝑎𝑐𝑐𝑖𝑑𝑒𝑛𝑡𝑒
𝑟 ≡ 𝑒𝑠 𝑝𝑟𝑢𝑑𝑒𝑛𝑡𝑒
P1: 𝑝
P2: (𝑝 → 𝑞)
P3: 𝑟
C: ~ 𝑝
P4: ~(~ 𝑝) por contra reciproco de C
P5: 𝑝 por doble negación en P4
P6: 𝑟 Por Modus Ponen en P2 y P3
P7: ~ 𝑝 Por Modus ponen en P1 y P6
P9: Falso en P5 y P7 por Contradicción.
Premisas:
https://www.youtube.com/watch?v=sENiKXBguNA
https://www.youtube.com/watch?v=zPLCN7RJ0iw
38
https://www.youtube.com/watch?v=u5Fi3fHWscc
Videos explicativos sobre ejemplos aplicados a la lógica proposicional.
ESTRATEGIAS
COMPETENCIA CRITERIOS DE EVALUACION EVIDENCIAS
DE EVALUACION
Valoración de participaciones o
Análisis de casos, Participación o aportes a nivel
TRANSVERSALES aportes, investigación, pertinencia
foros, debates individual y grupal.
sobre los temas planteados.
UNIDAD 1
9. BIBLIOGRAFÍA
39
AUTENTICIDAD DE LAS ACTIVIDADES
Las actividades evaluativas que usted presente para calificación deben ser inéditas
y de su propia autoría. Cualquier copia o plagio acarrea la nulidad en la calificación
y las acciones disciplinarias a que haya lugar.FESIONAL EN SEGURIDAD VIAL
GUÍA DEL ESTUDIANTE
CRONOGRAMA DE EVALUACIÓN
Concepto de la lógica
matemática Taller 1
15%
Definición y clases de Junio de 2019
proposiciones
Conectivos lógicos en
proposiciones Evaluación. 1
compuestas. 15%
Proposiciones
condicionales
Proposición
Taller 2 15%
bicondicional
Métodos de
demostración y Reglas
de inferencia
Sujeto a
Resolución de ejercicios programación
de razonamiento lógico
Desarrollo de Escuela de 40%
matemático
habilidades y Seguridad
Aplicabilidad al contexto destrezas. Vial
de seguridad y (Componente
convivencia en materia practico)
vial
Total 100%
40
GUÍA DE APRENDIZAJE PENSAMIENTO LÓGICO Y MATEMÁTICO
REALIZADA POR: FECHA: REVISADA:
DOC. YISLEY IJ. FREDDY
VALVUENA PINTOR. HERNANDO
DOC. JUAN CARLOS CLAVIJO UMAÑA
PINILLA 17/MAYO/ 2019 ESEVI-GRUSE
DOC. CLAUDIA SI. SOTO PINEDA
GISELA RODRIGUEZ ALVARO DINAE
MARTINEZ FASVI
41