Visualizzazione dei risultati da 1 a 4 su 4
  1. #1
    Utente di HTML.it L'avatar di bako
    Registrato dal
    Feb 2004
    Messaggi
    1,797

    [Matematici/Logici] Alcune domande di logica

    Ecco,
    devo studiare per un esame di logica che è spiegato su slide ma in maniera un pò confusa.
    ora, qualcuno sa qualcosa della CWA (close world assumption)?
    domanda: se ho una teoria finita e completa, e la estendo con CWA questa è ancora finita e completa?
    il mio dubbio sorge dal fatto che con CWA posso estendere cose che rendono incosistente il tutto. ora, però, se è completa so sempre derivare se una cosa è vera o falsa, quindi non avrei nessuna estensione in CWA (dato che la definizione è: {-p | è atomica e M /|- p} not p tale che p è atomaica e dal modello nn si inferisce p).
    quindi?

    PS: questa è la prima domanda.

  2. #2
    io sapevo che i membri della CWA erano confluiti nella NWA, pero' e' da molto che nn seguo

  3. #3
    Frontend samurai L'avatar di fcaldera
    Registrato dal
    Feb 2003
    Messaggi
    12,924
    ho preso 19 in quell'esame e ringrazio ancor oggi per averlo accettato.
    Vuoi aiutare la riforestazione responsabile?

    Iscriviti a Ecologi e inizia a rimuovere la tua impronta ecologica (30 alberi extra usando il referral)

  4. #4
    Certo che ce n'è di gente strana che inventa teorie strane al mondo...

    Spiacente, non so aiutarti.

Permessi di invio

  • Non puoi inserire discussioni
  • Non puoi inserire repliche
  • Non puoi inserire allegati
  • Non puoi modificare i tuoi messaggi
  •  
Powered by vBulletin® Version 4.2.1
Copyright © 2024 vBulletin Solutions, Inc. All rights reserved.