Question

formalice las siguientes proposiciones

1= si ella no viene entonces nos vamos al cine
2=si trabajas y estudias tes preparas mejor el futuro
3=ser bachiller o titulado en el ciclo superior y tener 18 años cumplidos son condiciones para poder ejercer la docencia
4=si dominas las asignaturas y te relacionas bien con todas las personas del colegio entonces no has perdido el tiempo
​

Answer 1

En el análisis lógico, la forma más básica es la formalización de enunciados o proposiciones, las cuales son oraciones declarativas verdaderas o falsas y constan de variables, constantes y auxiliares.

• Las variables son las proposiciones cuyo significado cambia, y se simbolizan mediante p, q, r, s, t.
• Las constantes alteran, relacionan o conectan a las variables, pueden ser la negación (¬), la conjunción (^), la disyunción (∨) y el condicional (⇒).
• Los auxiliares no tienen significado dentro de la proposición, simplemente se usan para facilitar la lectura y evitar ambigüedades, son los paréntesis o corchetes.

1.- Si ella no viene entonces nos vamos al cine.

p: ella viene

q: nos vamos al cine

¬p⇒q

2.- Si trabajas y estudias te preparas mejor el futuro.  

p: trabajas

q: estudias

r: te preparas mejor el futuro

(p^q)⇒r

3.- Ser bachiller o titulado en el ciclo superior y tener 18 años cumplidos son condiciones para poder ejercer la docencia.

p: ser bachiller

q: ser titulado en el ciclo superior

r: tener 18 años cumplidos

s: poder ejercer la docencia

[(p∨q)^r]⇒s

4.- Si dominas las asignaturas y te relacionas bien con todas las personas del colegio entonces no has perdido el tiempo.

p: dominas las asignatura

q: te relacionas bien con todas las personas del colegio

r: has perdido el tiempo

(p^q)⇒¬r