Scheda di esercizi di Logica proposizionale e dimostrazioni con soluzioni

Scheda di esercizi di Logica proposizionale e dimostrazioni gratuita e stampabile: 6 esercizi dal livello facile a quello d’esame, con le soluzioni. Stampala o salvala come PDF.

Nuova schedaEsercitati online con i suggerimenti

Per i docenti: gratuita da stampare, copiare e usare in classe. Ogni nuova scheda ha nuovi valori e le sue soluzioni. Un link a ExamProblems nella pagina del corso è molto apprezzato.

Nome: ____________________   Data: ____________

1.Facile

Quante righe N ha la tabella di verità completa di ¬((¬q ∧ p) → (r ∧ p))?

¬((¬q ∧ p) → (r ∧ p))
N =
2.Facile

La tabella di verità completa di (q ∧ ¬p) ∨ (p ↔ ¬r) è scritta per esteso. In quante righe N si ha p = 1 e r = 0?

(q ∧ ¬p) ∨ (p ↔ ¬r)
N =
3.Media
p → q¬q ∨ p¬q ∧ pq ∨ ¬p

Quale formula è logicamente equivalente a q → p? Clicca su di essa.

q → p
  1. 1p → q
  2. 2¬q ∨ p
  3. 3¬q ∧ p
  4. 4q ∨ ¬p
4.Media
tautologiacontraddizionecontingenza

((q → r) ∧ r) → q è una tautologia, una contraddizione o una contingenza? Clicca la tua risposta.

((q → r) ∧ r) → q
  1. 1tautologia
  2. 2contraddizione
  3. 3contingenza
5.Difficile
¬q → ¬rq ∧ rq → rr → q

Sono date le premesse q → p; p → r. Quale conclusione ne segue? Clicca su di essa.

q → pp → r
  1. 1¬q → ¬r
  2. 2q ∧ r
  3. 3q → r
  4. 4r → q
6.Difficile
∀x ¬A(x)∃x ¬A(x)∃x A(x)∀x A(x)

Quale enunciato è equivalente a ¬∀x A(x), con la negazione spostata fino in fondo all’interno? Clicca su di esso.

¬∀x A(x)
  1. 1∀x ¬A(x)
  2. 2∃x ¬A(x)
  3. 3∃x A(x)
  4. 4∀x A(x)

Soluzioni

  1. 1. N = 8
  2. 2. N = 2
  3. 3. ¬q ∨ p
  4. 4. contingenza
  5. 5. q → r
  6. 6. ∃x ¬A(x)

Soluzioni complete passo passo: esercitati su questo argomento su examproblems.com.