Lógica proposicional

AffluentCrimson avatar
AffluentCrimson
·
·
Download

Start Quiz

Study Flashcards

12 Questions

Si la proposición p es verdadera, determinar el valor de verdad de: $p ightarrow [(p ightarrow q) \/ r]$

VV

Si p es verdadera, determinar el valor de verdad de: $(p \rightarrow (p \vee q))$

V

Si los valores de verdad de las proposiciones p y q son diferentes, determinar el valor de verdad de: $p \leftrightarrow [({[(r \rightarrow (\neg t \vee \neg x))] \vee z}) \vee (p \vee q)]$

Faltan Datos

Si la proposición p es falsa, determinar el valor de verdad de: $(p \land \neg p) \rightarrow (\neg q \land p)$

q

Si la proposición compuesta: $\neg [(p \rightarrow r) \vee (s \land \neg q)] \land (p \leftrightarrow \neg s)$ es verdadera, indicar las negaciones de los valores de verdad de p, q, r y s:

VVFF

Si la proposición: $m \land (\neg n \rightarrow \neg m)$ es falsa, y la proposición n es falsa. ¿Cuántas de las siguientes proposiciones son verdaderas?

3

Si la proposición compuesta: $\neg [p \rightarrow (q \land \neg r) \vee (r \land \neg q)]$ es verdadera, hallar el valor de verdad de las proposiciones r, p y q, respectivamente:

FVV

Sabiendo que: $p \uparrow (p \rightarrow q)$ es falsa; el valor de verdad de: $\neg { (p \rightarrow \neg q) \land [(p \land q) \leftarrow p] }$ es:

V

¿En cuáles de los siguientes esquemas se puede determinar el valor de verdad?

Todas

Si la proposición: $[(\neg p \vee q) \rightarrow (q \leftrightarrow r)] \vee (q \land s)$ es falsa, siendo p una proposición verdadera. Determine los valores de verdad de $\neg q$, r y $\neg s$ en ese orden.

VFV

Si: $(p \rightarrow (q \rightarrow (p \vee \neg p)) \land [(r \land s) \triangle q]$ es verdadera, cuáles son los valores de p, q, r y s respectivamente:

FFFF

Para determinar el valor de verdad de la proposición: $(p \rightarrow q) \downarrow (m \rightarrow p)$; es suficiente saber que:

I, II y III

Study Notes

Lógica

Proposiciones Condicionales

  • Si la proposición p es verdadera, entonces p ← [(p → q) ∧ r] es falsa.
  • Si p es verdadera, entonces (p → (p ∨ q)) es verdadera.

Equivalencias Lógicas

  • Si los valores de verdad de las proposiciones p y q son diferentes, entonces p ⇄ [(r → ¬t ∨ ¬x) ∨ z) ∨ (p ∨ q)] no se puede determinar.
  • Si la proposición p es falsa, entonces (p ∧ ¬p) → (¬q ∧ p) es verdadera si y solo si q es verdadera.

Proposiciones Compuestas

  • Si la proposición compuesta ¬[(p → r) ∨ (s ∧ ¬q)] ∧ (p ⇄ ¬s) es verdadera, entonces p es falsa, q es verdadera, r es falsa y s es falsa.
  • Si la proposición compuesta ¬[p → (q ∧ ¬r) ∨ (r ∧ ¬q)] es verdadera, entonces r es falsa, p es verdadera y q es verdadera.

Negaciones

  • Si la proposición m ∧ (¬n → ¬m) es falsa y la proposición n es falsa, entonces 3 proposiciones son verdaderas.
  • Si la proposición ¬{(p → ¬q) ∧ [(p ∧ q) ← p]} es verdadera, entonces p es falsa.

Valores de Verdad

  • Si la proposición p ↑ (p → q) es falsa, entonces ¬{(p → ¬q) ∧ [(p ∧ q) ← p]} es verdadera.
  • Si la proposición [(¬p ∨ q) → (q ⇄ r)] ∨ (q ∧ s) es falsa, siendo p una proposición verdadera, entonces ¬q es falsa, r es falsa y ¬s es verdadera.
  • Si la proposición (p → (q → (p ∨ ¬p)) ∧ [(r ∧ s) ⇄ q] es verdadera, entonces p, q, r y s son todas falsas.

Resolver ejercicios de lógica proposicional sobre la verdad de proposiciones compuestas. Determinar el valor de verdad de expresiones lógicas con operadores como →, ∧, ∨, ¬.

Make Your Own Quizzes and Flashcards

Convert your notes into interactive study material.

Get started for free
Use Quizgecko on...
Browser
Browser