Академический Документы
Профессиональный Документы
Культура Документы
Fase Grupal
Trabajo Colaborativo 3
Presenta:
499
Fase Grupal
Trabajo Colaborativo 3
Presenta:
499
Tutor.
El presente trabajo esta basado en buscar y aplicar las leyes de la inferencia para las formas
preposiciones. Con el fin de obtener los conocimientos necesarios para la aplicacin del
LA DEMOSTRACIN
enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los
LA DEMOSTRACIN DIRECTA
premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t
Ejemplo 1.
Concluir: t. p ~r
LA DEMOSTRACIN INDIRECTA
Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando
Ejemplo 1.
Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin
abierta en una variable n, y es necesario demostrar que tal proposicin se verifica para
todos los elementos n que pertenecen a un subconjunto infinito dado sobre los nmeros
II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P (k)
III. Se demuestra que para el siguiente trmino al k-simo, o sea k+1, P (k+1) es verdadera
Este mtodo tiene una ventaja y es que siempre se va a dirigir a una contradiccin concreta.
En la demostracin por contraposicin, al igual que la demostracin por reduccin al
absurdo, supones que tanto A como no B son verdaderas. En el mtodo por contraposicin,
sin embargo, no partes de A y no B, sino que empiezas a trabajar solamente con no B y tu
objetivo es llegar a que A es falsa, con lo que ya has llegado a una contradiccin.
EJEMPLOS:
< "Demustrese que todos los nmeros primos mayores que 2 son impares". Aqu, la
proposicin p es "n es un nmero primo mayor que 2" y la proposicin qes "n es un nmero
impar". Demostrar "si todo nmero primo es mayor que 2, entonces es impar ( ) es
lo mismo que demostrar que " si todo entero anegativo no es impar, entonces no es un
nmero primo o es menor o igual que 2."
Esto es ms fcil de demostrar, ya que todo nmero par se puede escribir como n = 2 k,
donde k es mayor o igual que 1 (la idea de nmero primo tiene sentido slo en los nmeros
naturales 3 ). Si k es igual a 1, tenemos n = 2, nmero primo. Si, por el contrario, k es mayor
que 1, entonces n es mayor que 2, pero no es primo ya que tiene algn factor que no es ni 1
ni l mismo. As que 2 es el nico nmero primo par, por lo que se ha demostrado que
todos los nmeros primos mayores que 2 son impares.
< De acuerdo con las reglas del ajedrez, cada pen se mueve a lo sumo 6 veces.
Si una propiedad p se cumple para un nmero natural k cualquiera +, tambin se cumplir para su
sucesor k+1 y por consiguiente se cumplir para cualquier nmero natural.
Solucin
Para n=1
4(1)-1=1(2(1)+1)
4-1=1(3)
3=3
Para n=k
3+7+11+.+4k-1=k (2k+1) hiptesis
Para n=k+1
3+7+11+..+4k-1+4(k+1)-1= (k+1)(2(k+1)+1)
K(2k+1)+4k+4-1=(k+1)(2k+2+1)
2k2+k+4k+3=2k2+2k+k+2k+2+1
2k2+5k+3=2k2+2k+5k+3
Est estrechamente relacionado con el modus ponens y modus tollens. Por lo general se
2. A
3. Por lo tanto, no B
Por ejemplo:
1. Ana y Bill no pueden ganar ambos la carrera.
Como E.J. Lemmon lo describe: " Modus ponendo tollens es el principio de que, si la
negacin de una conjuncin contiene y tambin una de sus oraciones conjuntivas, entonces
1.
2.
3.
Hoy es martes.
en el argumento es verdadera; para que modus ponens sea un argumento slido, las
Un argumento puede ser vlido, pero, no obstante, poco slido si una o ms premisas son
argumento es slido. El argumento solo es slido los martes (cuando Juan va a trabajar),
pero es vlido en todos los das de la semana. Un argumento proposicional usando modus
de eliminacin del corte para un clculo dice que cada prueba que implica Corte puede ser
transformada (por lo general, por un mtodo constructivo) en una prueba sin corte, y de ah
entoncesf x es de tipo Q.
Cualquier regla Modus ponens puede probarse mediante una regla Modus Tollens y de
1. P Q
2. P / Q
3.~Q ~P 1 Transposicin
4.~~ P 2 Doble Negacin
6. 5 Doble negacin
Mediante tabla de verdad La validez del modus ponens en la lgica clsica de dos valores
p q pq
V V V
V F F
F V V
F F V
es verdadera. Solo una lnea de la tabla de verdad la primera satisface estas dos
condiciones (p y p q). En esta lnea, q tambin es verdad. Por lo tanto, cada vez
Va tollendo ponens[editar]
1 Premisa
2 Premisa
Ejemplo
Si hoy es lunes,
Hoy es lunes.
Premisa 1
Premisa 2
Conclusin aplicando PP
Llamado modus tollens y generalmente abreviado MTT o MT, Es Una Regla de inferencia
Por Ejemplo, el significado del RAZONAMIENTO Que Sigue la forma del modus tollens
Si A entonces B
No B
Por lo tanto, no A
No es de "Da".
No regiomontano de soja.
y solo si q).
A
--------------
(A, B <--->), l-
[(P} q) & q] p}
Ejemplo:
Premisa 1
Premisa 2
.: P .: Q .: (P M) .: Q
EJEMPLO 1
Una sociedad es una coleccin de individuos que buscan una forma de vida y la cultura es
su forma de vida.
S: Una sociedad es una coleccin de individuos que buscan una forma de vida
S&C S&C
_________ ________________
S C
En la primera concluimos que Una sociedad es una coleccin de individuos que buscan
una forma de vida, y en la segunda que en una sociedad la cultura es su forma de vida.
1era premisa: P Q
2da premisa: Q R
Conclusin: P R
Est formado por una premisa mayor hipottica, una premisa menor categrica y una
conclusin tambin categrica. Tiene dos modos principales: modus ponens (afirmativo) y
modus tollens (negativo).
Ejemplos:
1.
< si se satisfacen las necesidades bsicas entonces el estado recauda como corresponde
< si el estado recauda como corresponde, entonces el ciudadano est consciente del pago de
sus tributos.
2.
[( )( )( )]( )
P1. ( )
P2. ( )
P3. ( )
C. ( )
FASE GRUPAL
Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento Lgico y
Matemtico, y se da cuenta que debe realizar muy bien las tareas faltantes para alcanzar a
ganar el curso, observa que est a punto de abrirse el foro del trabajo Colaborativo Tres y
entrego mis aportes significativos a tiempo o resuelvo mis inquietudes del tema con mi
tiempo. Si en las noches veo video-tutoriales del tema entonces no necesito resolver mis
inquietudes del tema con mi tutor. Soy disciplinada en mis estudios y en las noches veo
video-tutoriales del tema. Por lo tanto entrego mis aportes significativos a tiempo.
1. Premisa 1: (pq)r
2. Premisa 2: s~q
3. Premisa 3: t~r
4. Premisa 4: pt
Conclusin: q
LEYES DE INFERENCIA.
5. Simp (4) = p
6. Simp (4) = t
7. MPP= [(t~r)t]~r
8. MTP(1-7) = {[(pq)r}(pq)
p q r s t ~q ~r
V V V V V F F
V V V V F F F
V V V F V F F
V V V F F F F
V V F V V F V
V V F V F F V
V V F F V F V
V V F F F F V
V F V V V V F
V F V V F V F
V F V F V V F
V F V F F V F
V F F V V V V
V F F V F V V
V F F F V V V
V F F F F V V
F V V V V F F
F V V V F F F
F V V F V F F
F V V F F F F
F V F V V F V
F V F V F F V
F V F F V F V
F V F F F F V
F F V V V V F
F F V V F V F
F F V F V V F
F F V F F V F
F F F V V V V
F F F V F V V
F F F F V V V
F F F F F V V
(t~r)] pt t}q
V V F F F F F F V
V V F V F F F F V
V V V F F F F F V
V V V V V V V F V
V V F V F F F F V
V V F V F F F F V
V V V V V V V V V
V V V V V V V F V
F V V F F F F F V
F V V V V V V F V
F V V F F F F F V
F V V V V V V F V
F F V V V F F F V
F F V V V F F F V
F F V V V F F F V
F F V V V F F F V
V V F F F F F F V
V V F V F F F F V
V V V F F F F F V
V V V V V V F F V
V V F V F F F F V
V V F V F F F F V
V V V V V V F F V
V V V V V V F F V
V V V F F F F F V
V V V V V V F F V
V V V F F F F F V
V V V V V V F F V
V V V V V V F F V
V V V V V V F F V
V V V V V V F F V
V V V V V V F F V
CONCLUSIONES
A dems de ser un tema muy complejo y extenso de logro por dar respuesta a lo planteado
Pensamiento-lgico-Matemtico-Unidad-3.docx - Scribd
https://es.scribd.com/doc/268522401/Pensamiento-logico-Matematico-Unidad-3-
docx