Documente Academic
Documente Profesional
Documente Cultură
LOGICA
Nota:
OMAR CASTILLO PAREDES
2014-1
Docente:
Ciclo: 1 Módulo II
Datos del alumno: FORMA DE PUBLICACIÓN:
Apellidos y nombres:
Código de matrícula:
Uded de matrícula:
LIMA
1TA20141DUED
TRABAJO ACADÉMICO
Formalización: p q r s
p: Soy indisciplinado.
q: Soy Ocioso.
r: Estudio en la universidad.
s: Seré profesional.
2TA20141DUED
c) Es suficiente que la matemática sea necesaria para la física, para que el
avance científico no quede estancado.
Formalización: p ~q
3TA20141DUED
de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura
interna de las proposiciones más simples.
Evaluación de Formulas: Se refiere a llegar en una conclusión, después de haber
evaluado mediante propiedades elementales una cadena de lógica proposicional.
Tautología: Son aquellas fórmulas que son ciertas para cualquier valoración de los
símbolos proposicionales que contiene.
Ejemplo:
4TA20141DUED
Ejemplo:
6) Muestre las proposiciones de cada caso y sus posibles valores en una tabla de
verdad y determine qué tipo de proposición es (conjunción, disyunción
exclusiva, disyunción inclusiva, negación): (01 Punto)
Formalización: p ( q r )
LOGICA PREDICATIVA: Este tipo de lógica, también conocida como lógica Categórica,
usa predicados para expresar ciertas cosas, a diferencia de la lógica proposicional en la
predicativa se hacen uso de los cuantificadores, los mas conocidos son el existencial
(∃)𝑦 𝑒𝑙 𝑢𝑛𝑖𝑣𝑒𝑟𝑠𝑎𝑙 (∀)
5TA20141DUED
predicados a través del uso de cuantificadores que expresan cantidad. Dada una
proposición, la lógica cuantificacional distingue en esta a los individuos y a sus
propiedades .
Ejemplo:
U=55 I=25
F=32
x b
a
5
y z
c A=33
x+y+z=?
a+x+y=20
b+x+z=27
c+y+z=28
6TA20141DUED
a+b+c+ 2(x+y+z)=75
50-1 (x+y+z) + 2(x+y+z)=75
x+y+z=25
BIBLIOGRAFIA:
PREGUNTA N° 4:
http://definicion.de/argumento/#ixzz3A1iUznHr
http://definicion.de/falacia/#ixzz3A1jskWbe
7TA20141DUED