Actividad 1 - MC

Vista previa del material en texto

Preguntas 
¿Qué es una proposición? 
La proposición es un elemento básico para desarrollar la lógica matemática.
¿Qué es una tabla de verdad?
Es el medio para poder mostrar los resultados que se obtienen al aplicar cada operador lógico, así como los resultados de la proposición para todos los valores que pueden tener las diferentes proposiciones simples que integran una proposición compuesta
¿Qué es la conjunción de a y b? ¿Cómo se escribe o se denota?
Se utiliza para conectar dos proposiciones donde debe cumplirse que ambas sean verdaderas para que el resultado sea verdadero. El símbolo que lo representa es el caret (∧).
¿Qué es la disyunción de a y b? ¿Cómo se escribe o se denota?
Se lee como «A y B«. Esta Conjunción es cierta si ambas A y B son ciertas a la vez. Se denota con V
¿Qué es la negación de a? ¿Cómo se escribe o se denota?
La negación nos dice que si la proposiciones es falsa, el operador se convierte en verdadera; por el contrario si la proposición es verdadera el operador se convierte en falsa, y se denota con “-” y “~”
Continuación 
¿Qué es una proposición condicional?
Es una condición que esta formada por dos condiciones de las cuales una depende de la otra.
¿Cuál es la hipótesis en una proposición condicional?
La proposición nos dice a groso modo que una proposición o un conjunto de proposiciones depende de otra u otro conjunto de proposiciones, por ejemplo, si voy al escuela me tengo que despertar temprano. 
¿Cuál es la conclusión en una proposición condicional?
La conclusión es que si una de las proposiciones no se cumple, la proposición en general es negativa. 
¿Qué es una proposición bicondicional y cómo se denota?
Si se tienen dos proposiciones a y b, la proposición bicondicional se indica de la siguiente forma: a↔b
Conjuncion de a y b
	a	b	a = a y b
	1	1	1
	1	0	0
	0	1	0
	0	0	0
disyuncion de a y b
	a	b	a = a or b
	1	1	1
	1	0	1
	0	1	1
	0	0	0
negación de a y b
	a	a’
	0	1
	1	0
	b	b’
	0	1
	1	0
Proposición condicional 
	a	b	a→b
	1	1	1
	1	0	0
	0	1	1
	0	0	1
Proposicion bicondicional
	a	b	a↔b
	1	1	1
	1	0	0
	0	1	0
	0	0	1
Progress:
This is finnick!
	a	b	c	a y b	(a y b) or c
	0	0	0	0	0
	0	0	1	0	1
	0	1	0	0	0
	0	1	1	0	1
	1	0	0	0	0
	1	0	1	0	1
	1	1	0	1	1
	1	1	1	1	1
Determinen si las siguientes oraciones son o no proposiciones, y en caso de serlo, de qué tipo son:
Si, bicondicional compuesta
El cielo es azul
Pela un plátano
No es una proposición 
Todos los días sale el sol
Si, condicional
En mi cumpleaños iré de viaje 
Si, condicional
4 + 7 = 15
Si, simple
Considerando las siguientes proposiciones, determinen la notación simbólica con palabras:
80
60
40
20
0
Ana
Robin
Finnick
a. Adrián lleva la clase de civismo
b. Adrián lleva la clase de ciencias naturales
a‘ - Adrián no lleva civismo
a∧b - Adrián lleva la clase de civismo y ciencias naturales
a∨b - Adrián lleva la clase de civismo o ciencias naturales 
a∨b‘ - Adrián lleva la clase de civismo o no ciencias naturales 
a∧b‘ - Adrián lleva la clase de civismo y no lleva ciencias naturales 
a'∧b - Adrián no lleva la clase de civismo y ciencias naturales 
Representen simbólicamente los siguientes argumentos:
Consideren las siguientes proposiciones: 
a. El día está soleado
b. Vamos al parque
a’ - El día no está soleado
a∧b - El día está soleado y vamos al parque 
a∧b‘ - El día está soleado, pero no fuimos al parque 
‘a∧b - El día no está soleado, pero fuimos al parque 
a∨b - El día está soleado o fuimos al parque 
‘a∨b - El día está soleado o fuimos al parque, pero el día no está soleado
Progress:
Establezcan si los siguientes enunciados son válidos o no. Expliquen la respuesta: es valida
(b'∨a')∧(c∧b)=>(a<->c')
	a	b	c	a’	b'	c’	(b'∨a')	(c∧b)	(b'∨a')∧(c∧b)	(a<->c')	(b'∨a')∧(c∧b)=>(a<->c')
	1	1	1	0	0	0	0	1	0	0	1
	1	1	0	0	0	1	0	0	0	1	1
	1	0	1	0	1	0	1	0	0	0	1
	1	0	0	0	1	1	1	0	0	1	1
	0	1	1	1	0	0	1	1	1	1	1
	0	1	0	1	0	1	1	0	0	0	1
	0	0	1	1	1	0	1	0	0	1	1
	0	0	0	1	1	1	1	0	0	0	1
Establezcan si los siguientes enunciados son válidos o no. Expliquen la respuesta: es falsa 
(c ->a')∧(b'∨c') => (a'->b)
	a	b	c	a’	b'	c’	(c ->a')	(b'∨c‘)	(c ->a')∧(b'∨c') 	(a'->b)	(c ->a')∧(b'∨c') => (a'->b)
	1	1	1	0	0	0	0	0	0	1	1
	1	1	0	0	0	1	1	1	1	1	1
	1	0	1	0	1	0	0	1	0	1	1
	1	0	0	0	1	1	1	1	1	1	1
	0	1	1	1	0	0	1	0	0	1	1
	0	1	0	1	0	1	1	1	1	1	1
	0	0	1	1	1	0	1	1	1	0	0
	0	0	0	1	1	1	1	1	1	0	0
Establezcan si los siguientes enunciados son válidos o no. Expliquen la respuesta: es falsa 
	a	b	c	r	a’	b'	(a'->c)	(a'->r)	(b'∧a)	(a'->c)∧[(a'->r)	(a'->c)∧[(a'->r)->(b'∧a)	X->y 
	0	0	0	0	1	1	0	0	1	0	1	1
	0	0	0	1	1	1	0	1	1	0	1	1
	0	0	1	0	1	1	1	0	1	0	1	1
	0	0	1	1	1	1	1	1	1	1	1	1
	0	1	0	0	1	0	0	0	0	0	1	0
	0	1	0	1	1	0	0	1	0	0	1	0
	0	1	1	0	1	0	1	0	0	0	1	0
	0	1	1	1	1	0	1	1	0	1	0	1
	1	0	0	0	0	1	1	1	1	1	1	1
	1	0	1	0	0	1	1	1	1	1	1	1
	1	0	0	0	0	1	1	1	1	1	1	1
	1	0	1	0	0	1	1	1	1	1	1	1
	1	1	0	0	0	0	1	1	1	1	1	1
	1	1	0	1	0	0	1	1	1	1	1	1
	1	1	1	0	0	0	1	1	1	1	1	1
	1	1	1	1	0	0	1	1	1	1	1	1
(a'->c)∧[(a'->r)->(b'∧a)]=>(b'∧a)
Steps to understand it
Progress:
Step #01
Ceres is located in the asteroid belt
Step #02
Pluto is considered a dwarf planet
Step #03
Earth is the planet where we live on
Step #04
Saturn is a gas giant and has rings
Or maybe these?
13, 20, 15
Will these be the ages?
15, 18, 15
Progress:
About the data i’ve found
positive
negative
45%
55%
Earth is the planet we live on
Pluto is now a dwarf planet
REFERENCE
Ceres is located in the asteroid belt
Evidence found
ANCIENT NOTES
Pluto is considered a dwarf planet
EVIDENCE
Earth is the planet where we live on
MODERN NOTES
Saturn is a gas giant and has rings
Progress:
Is it female...
Despite being red, Mars is a cold place
Or male?
This is the planet where we all live on
magnetism
It was named after the Roman god
School potion
Jupiter is a gas giant and the biggest
School clock
Venus is the second planet from the Sun
School bellPluto is considered a dwarf planet
Gathering evidence
Progress: