Formalización de proposiciones Lógicas

¿Es proposición simple la siguiente expresión? "O está lloviendo y nevando, o está soplando el viento".

• Verdadero

• Falso

• No es proposición

• No hay elementos para responder la pregunta

¿Cuantas proposiciones simples hay en la expresión? "O está lloviendo y nevando, o está soplando el viento".

• 1

• 2

• 3

• 4

¿Qué operadores lógicos no están en la expresión? "O está lloviendo y nevando, o está soplando el viento".

• Conjunción

• Disyunción

• Condicional

• Dilación.

¿Qué formalización corresponde la expresión? "O está lloviendo y nevando, o está soplando el viento". Si p: Está lloviendo

q: Está nevando

r: Está soplando el viento

• (p∧q) ∨ r

• (p∧r) ∨ q

• (p∨q) ∨ r

• ∨(p∧q) ∨ r.

O bien Moriarty y Crumm son ambos culpables, o Crumm es inocente.

p: Moriarty es inocente

q: Crumm es inocente

¿Cuál es la formalización que corresponde a esta expresión?

• (p∧q)∨r

• (¬p∧¬q)→r

• (¬p∧¬q)∨r

• (¬p∧q)∨r

O Crumm es culpable, o él y Moriarty lo son conjuntamente.

p: Crumm es inocente

q: Moriarty es inocente.

¿Cuál es la formalización que corresponde a esta expresión?

• p∨(¬p∧¬q)

• ¬p∨(p∧q)

• ¬p∨(¬pv¬q)

• ¬p∨(¬p∧¬q)

O Holmes lleva razón, o Moriarty y Crumm son o ambos culpables o ambos inocentes; y Crumm es culpable.

p: Holmes lleva razón

q: Moriarty es inocente

r: Crumm es inocente

¿Cuál es la formalización que corresponde a esta expresión?

• [p∨((¬q∧¬r)∨(q∧r))]∧¬r

• [p∨((¬q∨¬r)∨(q∧r))]∧¬r

• [p∨((¬q∧¬r)∨(q∨r))]∧¬r

• [p∨((¬q∧¬r)∨(q∧r))]∨¬r

Luis se irá si Pablo se queda.

p: Luis se irá

q: Pablo se queda

• p→q

• q→p

• pvq

• qvp

Si Pablo se queda, entonces Luis se va.

p: Pablo se queda

q: Luis se va

• p→q

• q→p

Supuesto que Pablo se quede, Luis se irá.

p: Pablo se queda

q: Luis se irá

• p→q

• q→p