^^Logica matematica.

Esistono diversi tipi di logica matematica:

Esempi di proposizioni logiche

Proposizioni elementari

5<7 vera;   5>7 falsa;   5=6 falsa;   5≠6 vera.

Proposizioni composte

1)    3<5 e 5<7 vera       3>5 e 5<7 falsa    in gergo ivece di "e" ...
2) 3<5 AND 5<7 vera   3>5 AND 5<7 falsa in gergo "e" si scrive AND
3) 3<5 ∧ 5<7 vera    3>5 ∧ 5<7 falsa in gergo "e" si scrive ∧

 

In generale: la proposizione composta "A e B" e fatta da "A, B" proposizioni elementari e dalla composizione "e".  Tale proposizione composta e' vera solo se entrambe le proposizioni componenti sono vere.

Essenza della logica matematica delle proposizioni.

La logica matematica delle proposizioni si basa su:

  1. esistono le proposizioni, cioe' delle frasi sensate, che possono essere vere o false
  2. si parte dalle proposizioni elementari e da esse si costruiscono proposizioni composte.
  3. Si calcola il valore di verita' (vero o falso) della proposizione composta, in base al valore di verita' delle proposizioni componenti ed al tipo di composizione.

 

Proposizioni vere o false

Parole chiave

Obiettivi della logica formale matematica.

Calcolo logico

Proposizioni vere o false, tertium non datur. Logica del terzo escluso.