Proposizioni – Batteria 2

1) Scrivere in simboli i seguenti enunciati composti:a: non è vero che Piero non gioca a carte ogni sera;b: non è vero che il gatto è vivo o è morto;c: la luce non è spenta ed è verde; d: piove o c’è il sole;e: 2 è un numero primo e non è dispari;f: Mario e […]

Logica

La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Sebbene molti siano indotti a pensare che la logica matematica sia la matematica della logica, è più giustificato affermare che […]

Proposizioni – Batteria 1

1) Tra le seguenti frasi riconoscere le proposizioni, e stabilirne poi il valore di verità: a: Vai a casa! b: Il triangolo isoscele è un quadrilatero; c: Correre scalzi è bello; d: I giovani sotto i 30 anni sono intelligenti; e: 7 è un numero dispari; f: -3 è un numero negativo; g: Cosa fai […]

Cap. 2 – Logica

La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Sebbene molti siano indotti a pensare che la logica matematica sia la matematica della logica, è più giustificato affermare che […]

Predicati – Batteria 2

1) Esprimere l’affermazione “Se un numero è divisibile per 9 allora è divisibile per 3” mediante l’implicazione logica tra due opportuni predicati. x/9 = n , n ∈ N => x/3 = t , t ∈ NOvvero p(x) => q(x) , con:p(x): x è divisibile per 9q(x): x è divisibile per 3. 2) Si considerino […]

Predicati – Batteria 1

1) Dato il predicato: p(x): 6 – 3x = 0 , x ∈ Q , stabilire il valore di verità degli enunciati p(1), p(2), p(3). p(1):6 – 3*1 = 0 6 – 3 = 03 = 0 –> Falso p(2):6 – 3*2 = 0 6 – 6 = 00 = 0 –> Vero p(3):6 – […]