Domande taggate «propositional-logic»

Perché A implica che B è vero se A è falso e B è falso?

Mi sembra che "implica" in lingua inglese non significhi la stessa cosa che l'operatore logico "implica", in modo simile al modo in cui la parola "OR" nella maggior parte dei casi significa "OR esclusivo" nel nostro uso quotidiano della lingua. Facciamo due esempi: Se oggi è lunedì, domani è martedì. …

24 terminology logic first-order-logic propositional-logic

Perché ?

Vorrei sapere se esiste una regola per dimostrarlo. Ad esempio, se uso la legge distributiva otterrò solo .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic propositional-logic

La prova per contraddizione può funzionare senza la legge del mezzo escluso?

Recentemente ho pensato alla validità della prova per contraddizione. Negli ultimi giorni ho letto cose sulla logica intuitiva e sui teoremi di Godel per vedere se mi avrebbero fornito le risposte alle mie domande. In questo momento ho ancora domande persistenti (forse legate al nuovo materiale che ho letto) e …

19 logic first-order-logic propositional-logic incompleteness

Perché la solidità implica coerenza?

Stavo leggendo la domanda Coerenza e completezza implicano solidità? e la prima affermazione in esso dice: Capisco che la solidità implica coerenza. Di cui ero piuttosto perplesso perché pensavo che la solidità fosse un'affermazione più debole della coerenza (cioè ho pensato che i sistemi coerenti dovevano essere sani ma immagino …

12 terminology logic first-order-logic propositional-logic incompleteness

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.