Logica polivalente: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Corregge uno o più errori comuni o refusi o entità, replaced: puo' → può (2), typos fixed: T → T (3) using AWB |
Categorizzato stub |
||
Riga 1:
{{S|
Le '''logiche polivalenti''' sono estensioni della [[logica classica]] in cui sono presenti più valori di verità rispetto ai canonici '''vero''', '''falso''' e pertanto in esse non vale il [[principio del terzo escluso]].
Le prime logiche polivalenti furono proposte negli anni [[1920]] da [[Emil Post]] e da [[Jan Łukasiewicz]] e in esse erano presenti tre valori di verità: '''vero''', '''falso''', '''problematico'''.
|