# data[].attributes.headline
Si y solo si viera un marciano con mis propios ojos, creeria que hay vida extraterrestre.

# data[].attributes.subject
Si y solo si viera un marciano con mis propios ojos, creeria que hay vida extraterrestre.

# data[].attributes.body
Juan abrirá la puerta y saldrá a la calle, solo en el caso de que, si viene María con el coche, no venga con ella Pedro

# data[].attributes.body
Si llueve entonces las xalles estan mojadas e proposicion compuesta o simple

# data[].attributes.body
Si me abandona, me sentiré muy solo. Si continúa conmigo, seguiremos
peleándonos sin parar. Si me siento solo o nos seguimos peleando
continuamente

# data[].attributes.body
No es cierto que juan habla frances e ingles es proposición

# data[].attributes.body
abla francés, aunque si no supiese hablar inglés, tampoco hablaría francés.

# data[].attributes.body
	Sólo en el caso de que no sepas hacer el dibujo 

# data[].attributes.body
Si estudias y vienes a clase, entonces aprobarás

# data[].attributes.body
4.	Si Pedro sabe hablar inglés, entonces no habla francés, aunque si no supiese hablar inglés, tampoco hablaría francés.

# data[].attributes.headline
Realiza (3) esquemas de razonamiento, empleando simbolos y reglas de formacion.

# data[].attributes.subject
Realiza (3) esquemas de razonamiento, empleando simbolos y reglas de formacion.

# data[].attributes.body
Esquema del razonamiento:

P1: p ® q

P2: ¬ p ® r

P3: ( q v r ) ® s

-------------------

C:( p v ¬ p) ® s

Otros ejemplos:-La comida no le supo bien: ¬ p-Mañana es sábado y nos iremos a la playa: p ∧q-Aunque tú no me quieras, yo te amo: ¬ p ∧q-O bien te lo comes o no verás la tele: p ∨¬ q-O lo recoges todo o no vas de excursión y no te regalo el vestido:

p ∨( ¬ q ∧¬ r)-Si vienes, no te lo olvides en casa: p → ¬ q-Si no estuvo aquí el asesino, entonces no llegó a verle o lo supo demasiado tarde:

¬ p → ( ¬ q ∨r)-No por mucho madrugar amanece más temprano: ¬ ( p→ q)-Sólo si baja la Bolsa 15 puntos, deberás vender el 10% de las acciones de laempresa y no comunicarlo al Consejo: p ↔ ( q ∧¬ r)-Sólo en el caso de que no sepas hacer el dibujo y haya dos preguntas en la 2ª casilla del examen, deberás contestar únicamente a la primera de ellas:

( ¬ p ∧q) ↔ r
-Si Pedro sabe hablar inglés, entonces no habla francés, aunque si no supiese hablar inglés, tampoco hablaría francés: ( p → ¬ q) ∧( ¬ p → ¬ q)

-Si llegas después de las 10, te encontrarás con la puerta cerrada y no podrás cenar: p → ( q ∧¬ r)
-Juan abrirá la puerta y saldrá a la calle, sólo en el caso de que, si viene María con el coche, no venga con ella Pedro: ( p ∧q) ↔ ( r → ¬ s )

-No es verdad que si Antonio estudia, entonces María no trabaje: ¬ ( p → ¬q)
-Sólo si tú no lo has matado, te dejaremos libre: ¬ p ↔ q

# data[].attributes.headline
¿Como se determinan las premisas y la conclusion?¿Como se determinan las variables proposicionales? Ejemplificar

# data[].attributes.subject
¿Como se determinan las premisas y la conclusion?¿Como se determinan las variables proposicionales? Ejemplificar

# data[].attributes.body
Determinación de las premisas y la conclusión: Destacamos y numeramos correlativamente en el razonamiento cada una de las premisas. Normalmente, en el lenguaje natural aparecen unas separadas de las otras por un punto y seguido.
La conclusión, que aparece normalmente al final (o al principio en raras ocasiones), en el lenguaje natural está introducida por expresiones tales como: "Por lo tanto...", "En consecuencia...", "Se deduce de esto...", "Por consiguiente...", etc.

Determinación de las variables proposicionales: Subrayamos cada una de las proposiciones asignándoles una variable proposicional. Así como las vamos subrayando, hacemos con ellas una lista y así, si se repiten, sabemos cómo las hemos simbolizado y podemos asegurarnos que dos no sean la misma expresada con otras palabras.
Si me abandona p me sentiré muy solo q. Si continúa conmigo ¬p seguiremos peleándonos sin parar r. Si me siento solo q o nos seguimos peleando continuamente tendré una fuerte depresión s. Es obvio que tanto si me deja p como si sigue conmigo ¬p entraré en una fuerte depresión s.

Variables Proposicionales:

p: "me abandona"
q: "me sentiré sólo"
r: "nos seguiremos peleando continuamente"

s: "tendré una fuerte depresión "Determinación de las conectivas. Analizamos las relaciones lógicas existentes entre las proposiciones en cada una de las premisas y en la conclusión simbolizándolas.

# data[].attributes.headline
Pasos a seguir en un esquema de razonamiento. Ejemplificar

# data[].attributes.subject
Pasos a seguir en un esquema de razonamiento. Ejemplificar

# data[].attributes.body
Pasos a seguir en un esquema de razonamiento:
1- Determinación de las premisas y la conclusión.

2- Determinación de las variables proposicionales.
3- Realización del esquema del razonamiento.

Ejemplo: “Si me abandona, me sentiré muy solo. Si continúa conmigo, seguiremos peleándonos sin parar. Si me siento solo o nos seguimos peleando continuamente, tendré una fuerte depresión. Es obvio que, tanto si me deja como si sigue conmigo, entraré en una fuerte depresión”.

# data[].attributes.headline
¿Que se debe tener en cuenta cuando dos proposiciones están unidas por un condicional? Ejemplificar.

# data[].attributes.subject
¿Que se debe tener en cuenta cuando dos proposiciones están unidas por un condicional? Ejemplificar.

# data[].attributes.body
Cuando aparezcan dos proposiciones unidas por un condicional hay que tener en cuenta cuál es el antecedente y cuál es el consecuente, no siempre aparecen en este orden. Para aclarar el sentido hay que tener presente qué expresa, ya que para que se dé el consecuente (resultado) se ha de dar primero necesariamente el antecedente (condición).
Por ejemplo: "Escribiría un libro si tuviera tiempo" [ p ® q ] [siendo p: "tuviera tiempo" y q: "Escribiría un libro"]. Un buen método es parafrasear la expresión que queremos formalizar: decirla con otras palabras pero sin cambiarle el sentido para poder aclarar éste último. Por ejemplo: "Si tuviera tiempo entonces escribiría un libro".

# data[].attributes.headline
¿Como se simbolizan frases del lenguaje natural cuando significan lo mismo? Ejemplificar

# data[].attributes.subject
¿Como se simbolizan frases del lenguaje natural cuando significan lo mismo? Ejemplificar

# data[].attributes.body
En el lenguaje natural dos frases pueden significar lo mismo expresado a través de otras palabras. En este caso se simbolizarán ambas con la misma variable proposicional (siempre según el contexto).
Por ejemplo: "aumenta la temperatura corporal", "tiene fiebre" [ p ];

"Sacó más de cinco puntos en el examen", "aprobó el examen" [ q ].

Hay que tener cuidado, de igual forma, con una proposición y su contraria. Se simbolizan con la misma variable proposicional pero añadiendo la negación.

Por ejemplo: "aprobaré" [ p ] , "suspenderé" [ ¬p ].

# data[].attributes.headline
¿Toda frase o expresion se puede formalizar? ¿Porque? Ejemplificar.

# data[].attributes.subject
¿Toda frase o expresion se puede formalizar? ¿Porque? Ejemplificar.

# data[].attributes.body
Sólo se formalizan las proposiciones, no las frases o expresiones incluidas en el razonamiento que no lo sean por pertenecer a otros usos del lenguaje que no sea el descriptivo. Esto es así porque esas expresiones carecen de valor lógico.
Por ejemplo: ¡Ay de mí!, ¡Ojala fuese así!, ¡Hazlo!, ¿Vendrá esta noche?,...

# data[].attributes.headline
¿En que consiste la "Formalización", cual es su objetivo, como es la transcripción?

# data[].attributes.subject
¿En que consiste la "Formalización", cual es su objetivo, como es la transcripción?

# data[].attributes.body
FORMALIZACIÓN
Formalizar “consiste en analizar las expresiones del lenguaje natural y traducirlas al lenguaje formal reduciéndolas a su forma”. Su objetivo es reducir el razonamiento a su estructura formal separándola de su contenido pues sólo ésta nos interesa para poder determinar su validez.
La transcripción del lenguaje natural al lenguaje formal no es automática ni literal: requiere un análisis minucioso del sentido de las expresiones que vamos a transcribir.

# data[].attributes.headline
¿Que tipo de formulas surgen de la aplicacion de estas reglas?

# data[].attributes.subject
¿Que tipo de formulas surgen de la aplicacion de estas reglas?

# data[].attributes.body
Podemos obtener dos tipos de fórmulas: fórmula atómica y fórmula molecular. La primera es una fórmula constituida tan sólo por una variable proposicional (por ejemplo: p, q , r , t ...). La segunda es una fórmula constituida por una variable proposicional y la negación, o por varias variables proposicionales unidas por una o más conectivas (por ejemplo: ¬p , p→q ,rv t           s ...).

# data[].attributes.headline
¿Cuales son las reglas para la formacion de fbf?

# data[].attributes.subject
¿Cuales son las reglas para la formacion de fbf?

# data[].attributes.body
Reglas para la formación de fórmulas bien formadas (fbf):
Regla 1: Toda proposición atómica es una fbf.

Regla 2: Si A es una fbf, entonces ¬A también es una fbf.

Regla 3: Si A y B son fbf, entonces (A∧B), (A∨B) y (A→B) también son fbf.

# data[].attributes.headline
¿A que se refiere el termino: Formulas bien formadas (fbf)?

# data[].attributes.subject
¿A que se refiere el termino: Formulas bien formadas (fbf)?

# data[].attributes.body
Las formulas bien formadas son  aquellas que cumplen  de una serie de reglas para su formación.

# data[].attributes.headline
¿Cuales son los signos auxiliares, que indican, para que se usan? Ejemplificar.

# data[].attributes.subject
¿Cuales son los signos auxiliares, que indican, para que se usan? Ejemplificar.

# data[].attributes.body
LOS SIGNOS AUXILIARES SON: Las llaves, los paréntesis y los corchetes. Indican cómo están agrupados los símbolos de una expresión de nuestro lenguaje formal, y cuál es el símbolo de enlace principal en ella. Si no hay paréntesis, hay una jerarquía para determinar el signo dominante (1º↔, 2º →, 3º Λ ó V). Ejemplo: p → r V q es lo mismo que p → (r V q).

# data[].attributes.headline
Indica las siguientes características de los tipos de relaciones lógicas entre proposiciones.                                * Nombre.                                                                                  * Significado en el lenguaje natural.                                    * Símbolo utilizado para su representación.                      * Ejemplos de su utilizacion (3).

# data[].attributes.subject
Indica las siguientes características de los tipos de relaciones lógicas entre proposiciones.                                * Nombre.                                                                                  * Significado en el lenguaje natural.                                    * Símbolo utilizado para su representación.                      * Ejemplos de su utilizacion (3).

# data[].attributes.body
1-La negación.

Significa la negación de la proposición que ponemos a su derecha.

REGLA DE SIMBOLIZACIÓN II

Las expresiones del lenguaje natural tales como "no", "no es cierto", "no es el caso que", "es falso", "es imposible", etc. se sustituirán por el símbolo "¬"

Ejemplos:

"No vendré a cenar esta noche p": ¬p

"Es imposible que pueda olvidar lo sucedido q": ¬q

"No es cierto que no se lo dijera r": ¬¬r

2-La conjunción.

Significa que ambas proposiciones suceden de forma conjunta.

REGLA DE SIMBOLIZACIÓN III

Las expresiones del lenguaje natural tales como "y", "ni", "pero", " que", "e", "mas", una simple coma ",", etc. se sustituirán por el símbolo "^".

Ejemplos:

"Viene cansado p y deprimido q: p ^ q

"Ana quiere a Luís p pero no es tonta q": p ^¬q

"No es cierto que sea viuda p y no tenga hecha la cirugía q ": ¬ (p ^¬q)

3-La disyunción

Significa que sucede una proposición, sucede la otra, o suceden ambas. Es lo que se denomina

“disyunción inclusiva”, frente a la disyunción exclusiva, que usualmente utilizamos en el lenguaje natural y que significa que sucede una u otra, pero no ambas a la vez.

REGLA DE SIMBOLIZACIÓN IV

Las expresiones del lenguaje natural tales como "o", "o…o…", "bien…bien…", "ya…ya…", etc. se sustituirán por el símbolo "v".

Ejemplos:

"O vamos al cine p o nos aburrimos soberanamente q ": p v q

"Es imposible que pueda volver p o olvidar lo sucedido q": ¬ (p v q)

"O no es cierto que le gusten los niños p o tiene muy mala leche q ": ¬p v q

4-El Condicional
Significa que si se da la primera (a la izquierda de la flecha) entonces se dará la segunda (a la derecha de la flecha). Es una relación de consecuencia entre dos proposiciones: la primera es la condición (antecedente) y la segunda es el resultado (consecuente).

En el lenguaje natural es habitual encontrarlas expresadas en orden inverso, por lo que al simbolizar hemos de tener cuidado para entender bien el sentido de la relación lógica expresada. Por ejemplo: "Sería sumamente feliz si os callarais" " [p         q] [siendo p: "os callarais" y q: "Sería sumamente feliz"]

REGLA DE SIMBOLIZACIÓN V

Las expresiones del lenguaje natural tales como "si…entonces", "…luego…", "…por tanto…", "…en consecuencia…", "cuando", "…se infiere de…","…se deduce de…","…se deriva de…","…se demuestra…", etc. se sustituirán por el símbolo

"         ".

Ejemplos:

"Si hubiera venido en coche p aun estaría buscando aparcamiento q ": p         q

"Cuando traigas el taladro p, te arreglaré la cortina q": p         q

"Si no cambias de hábitos p entonces se acabará cansando de ti q ": ¬p        q

5-El Bicondicional

Significa que las dos proposiciones se implican mutua y necesariamente. Equivale a un condicional en ambas direcciones: sólo ocurrirá la primera si sucede la segunda y sólo sucederá la segunda si sucede la primera.

REGLA DE SIMBOLIZACIÓN VI

Las expresiones del lenguaje natural tales como "…si y sólo si…", "…equivale a…", "…es igual a…", "…vale por…", "…es lo mismo que…", etc. se sustituirán por el símbolo "        ".
Ejemplos:
"Un pueblo es democrático p si y sólo si hay elecciones libres q ": p        q
"Sólo si cambias de actitud p, estaré dispuesto a ir tus quejas q": p        q
"Serás feliz p sólo si buscas el placer q y no te dejas esclavizar por los deseos r": p
(q^¬r)

# data[].attributes.headline
¿Cuantos y cuales son los tipos de relacion logica entre proposiciones?

# data[].attributes.subject
¿Cuantos y cuales son los tipos de relacion logica entre proposiciones?

# data[].attributes.body
Hay cinco tipos básicos de relación lógica entre proposiciones:

1-La negación.

Significa la negación de la proposición que ponemos a su derecha.
2-La conjunción.

Significa que ambas proposiciones suceden de forma conjunta.

3-La disyunción
Significa que sucede una proposición, sucede la otra, o suceden ambas. Es lo que se denomina

“disyunción inclusiva”, frente a la disyunción exclusiva, que usualmente utilizamos en el lenguaje natural y que significa que sucede una u otra, pero no ambas a la vez.

4-El Condicional

Significa que si se da la primera (a la izquierda de la flecha) entonces se dará la segunda (a la derecha de la flecha). Es una relación de consecuencia entre dos proposiciones: la primera es la condición (antecedente) y la segunda es el resultado (consecuente).

5-El Bicondicional

Significa que las dos proposiciones se implican mutua y necesariamente. Equivale a un condicional en ambas direcciones: sólo ocurrirá la primera si sucede la segunda y sólo sucederá la segunda si sucede la primera.

# data[].attributes.headline
¿Que son los simbolos de enlace, que representan, que simbolizan?

# data[].attributes.subject
¿Que son los simbolos de enlace, que representan, que simbolizan?

# data[].attributes.body
SÍMBOLOS DE ENLACE: Son los que están constituidos por las constantes lógicas (se denominan también “conectivas” o “juntores”) que representan las relaciones lógicas existentes entre las proposiciones. Simbolizan los elementos del lenguaje natural que ponen en relación las diferentes proposiciones.

# data[].attributes.headline
Utilizando las reglas de simbolización ¿como se sustituye cada uno de los enunciados simples? Dar 4 ejemplos.

# data[].attributes.subject
Utilizando las reglas de simbolización ¿como se sustituye cada uno de los enunciados simples? Dar 4 ejemplos.

# data[].attributes.body
Cada uno de los enunciados simples del lenguaje natural se sustituirá por variables proposicionales simbolizadas mediante las letras minúsculas: p, q, r, s, t, u, v, w.

Si hubiera más se pondrán subíndices.

Ejemplos:

"Éste fue un verano caluroso": p

"La fidelidad es una quimera": q

"Al final de los tiempos resucitarán los cuerpos": r

"Tengo sueño": s