Please enable JavaScript.
Coggle requires JavaScript to display documents.
Logica proposizionale (Logica degli enunciati completamente istanziati…
Logica proposizionale
Logica dei connettivi e delle lettere proposizionali
Ad ogni lettera si associa un valore di verità (Vero o Falso)
Logica degli enunciati completamente istanziati (senza variabili)
Enunciato
frase vera o falsa in una certa circostanza di un contesto
Enunciato semplice
non composto da altri enunciati
Formalizzazione
Lettere proposizionali
Proposizioni atomiche
Vere o False in una data circostanza di un
CONTESTO
Linguaggio
Vocabolario
o segnatura
SINTASSI
le proposizioni atomiche si ottengono riempiendo i posti dei predicati del linguaggio con dei nomi o più in generale dei sintagmi nominali
Semantica
Circostanze possibili
Interpretazione (procedimento con il quale attribuiamo un valore di verità in una data circostanza)
Logica delle proposizioni atomiche
Logica enunciati semplici e indentità
si intende