Diferencia entre revisiones de «Lógica proposicional/Tercera evaluación parcial»

+ <math>\neg (C \andland D \orlor E)</math>

- <math>(A \andland \neg B) \Rightarrow (\neg C \orlor D)</math>

- <math>\neg (A \orlor B) \Leftrightarrow (\neg A \andland \neg B)</math>

{¿Cuál es el valor de verdad de la proposición <math>(P \Rightarrow Q) \Rightarrow (\neg P \orlor Q)</math> cuando <math>P</math> es <math>V</math> y <math>Q</math> es <math>F</math>?

{¿Cuál de las siguientes proposiciones es lógicamente equivalente a <math>A \andland (B \andland C)</math>?

- <math>\neg A \orlor (B \andland C)</math>

- <math>A \andland (B \orlor C)</math>

- <math>(A \orlor B) \andland C</math>

+ <math>(A \andland B) \andland C</math>

<math>\begin{array}{l} \alpha \Rightarrow \gamma \\ \beta \Rightarrow \delta \\ \alpha \orlor \beta \\ \hline \therefore \gamma \orlor \delta \end{array}</math>

{¿Cuál es el valor de verdad de la proposición <math>C \andland \neg D</math> cuando <math>C</math> es <math>V</math> y <math>D</math> es <math>V</math>?

+ <math>A \orlor (B \orlor \neg A)</math>

+ <math>((R \Rightarrow S) \andland R) \Rightarrow S</math>

+ <math>((P \orlor Q) \andland \neg P) \Rightarrow Q</math>

- <math>\neg A \orlor \neg B</math>

+ <math>A \orlor \neg B</math>

- <math>\neg A \orlor B</math>

<math>\begin{array}{l} A \orlor B \\ \neg A \end{array}</math>

- <math>\neg A \andland \neg B</math>

- <math>A \andland B</math>

- <math>\neg B \andland B</math>

+ <math>\neg C \orlor D</math>

- <math>E \orlor \neg E</math>

{¿Cuál es el nombre de la siguiente equivalencia lógica: <math>\neg (\alpha \andland \beta) \equiv \neg \alpha \orlor \neg \beta</math>?

<math>\begin{array}{l} A \andland B \\ B \Rightarrow (B \Rightarrow C) \end{array}</math>