File:Partially_built_tableau.svg · Wikimedia Commons · See Wikimedia Commons
logica proposizionale
Sign in to saveAlso known as sentential calculus, sentential logic, statement logic, zeroth-order logic, propositional logic
branca della logica
Propositional calculus is a branch of logic that studies statements (called propositions) and how we can combine them using logical connectives like "and," "or," and "not" to form new statements. It matters because it helps us understand how the truth or falsehood of complex statements depends on the truth values of their simpler parts, which is fundamental to reasoning, mathematics, and computer science.
AI-generated from the Wikipedia summary — may contain errors.
Article · Italiano
La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi. Data una interpretazione (o modello) di una proposizione (in generale di un insieme di proposizioni), e cioè una associazione tra le proposizioni elementari e le realtà rappresentate, possiamo generare un insieme infinito di proposizioni con significato definito che riguardino quella realtà. Ciascuna proposizione si riferisce quindi a uno o più oggetti della realtà rappresentata (anche astratta, ovviamente) e permette di descrivere o ragionare su quell'oggetto, utilizzando i due soli valori "Vero" e "Falso".
Abstract from DBpedia / Wikipedia · CC BY-SA