4 ott 2022
- 23:5823:58, 4 ott 2022 diff cron +34 Implicazione logica →Coimplicazione: Equivalenza logica
- 23:5723:57, 4 ott 2022 diff cron +176 N Discussione:Equivalenza logica ←Nuova pagina: {{tradotto da|en|Logical equivalence|9 settembre 2022|1109290570}} --~~~~ Etichetta: Nuovo argomento
- 23:5623:56, 4 ott 2022 diff cron +5 536 Equivalenza logica Rimosso il reindirizzamento a Implicazione logica#Coimplicazione Etichette: Rimosso redirect Link a pagina di disambiguazione
- 23:4323:43, 4 ott 2022 diff cron +169 N Discussione:Ambito (logica) ←Nuova pagina: {{tradotto da|en|Scope (logic)|8 febbraio 2022|1070603114}} --~~~~ Etichetta: Nuovo argomento
- 23:4123:41, 4 ott 2022 diff cron +1 515 N Ambito (logica) ←Nuova pagina: Nella logica, l''''ambito''' (in inglese: ''scope'') di un quantificatore è l'intervallo nella formula in cui il quantificatore opera. L'ambito compare subito a destra del quantificatore e viene spesso indicato tra parentesi. Alcuni autori includono nell'ambito anche la variabile a destra del quantificatore: ad esempio, nella formula ∀''xP'' l'ambito è P oppure (''Px'', inclusa quindi anche la variabile ''x) ''<ref>{{cit... Etichetta: Link a pagina di disambiguazione