Esercitazioni di Logica

∀x(Rx → (x è verde ma x non è testarda))∀x(Rx → (Vx ∧ ¬Tx))Oppure:¬∃x(Rx ∧ (¬Vx ∧ Tx))Oppure, secondo una diversa interpretazione dell’enunciato:∀x(Rx → x è verde) ∧ ∀x(Rx → x non è testarda)∀x(Rx → Vx) ∧ ∀x(Rx → ¬Tx)Oppure:¬∃x(Rx ∧ ¬Vx) ∧ ¬∃x(Rx ∧ Tx)Sara invidia qualcuno ma non tuttiSi usi ‘a’ per la costante individuale ‘Sara’ e ‘I’ per il predicato ‘invidia’.∃xIax ∧ a non invidia tutti∃xIax ∧ ¬∀xIaxOppure:¬∀x¬Iax ∧ ¬∀xIaxOppure:¬∀x¬Iax ∧ ∃x¬IaxOppure:∃xIax ∧ ∃x¬IaxTutti i ragazzi belli sono più alti di qualche ragazzo simpatico.Per il predicato ‘ragazzo’ si usi ‘R’; per il predicato ‘bello’ si usi ‘B’; per il predicato ‘simpatico’si usi ‘S’; per il predicato ‘più alto’ si usi ‘P’.∀x((Rx ∧ Bx) → x è più alto di qualche ragazzo simpatico)