Aiuto su esercizio di logica
Salve a tutti,vorrei postare un esercizio di logica ma non so come scrivere i simboli degli and,or,conseguenza semantica eccetera....
Risposte
"FELPONE":
Salve a tutti,vorrei postare un esercizio di logica ma non so come scrivere i simboli degli and,or,conseguenza semantica eccetera....
devi cliccare sulla sinistra formula e la trovi tutti i simboli poi quando finisci di scrivere la formula nel tag che compare clicchi anteprima per vedere se l'hai scritta bene e poi inserisci
si ho usato il pulsante formula ma non ci sono i simboli and,or e conseguenza logica....
Clicca qui: formule.
L'esercizio è dire se la seguente affermazione è vera e giustificare la risposta :$ A|=C e B|=D iff (AandB) |= (CandD) $
Per giustificare la risposta volevo usare la definizione di conseguenza semantica ma non riesco a capire come devo procedere.Potreste darmi una mano?
Per giustificare la risposta volevo usare la definizione di conseguenza semantica ma non riesco a capire come devo procedere.Potreste darmi una mano?
qualcuno può aiutarmi?
[mod="Martino"]Ciao Felpone,
ti ricordo che da regolamento per fare un "up" bisogna aspettare almeno 24 ore. Grazie.[/mod]
ti ricordo che da regolamento per fare un "up" bisogna aspettare almeno 24 ore. Grazie.[/mod]
il simbolo $^^$ si scrive così: ^^
il simbolo $vv$ si scrive così: vv
davvero basta cliccare dove ti ha detto Martino, e ci sono in bella vista..
comunque:
$ (AvvC) ^^ (BvvD) iff (A^^B) vv (C^^D) $
questo devi dimostrare?
se sì è falso, se no correggilo.
il simbolo $vv$ si scrive così: vv
davvero basta cliccare dove ti ha detto Martino, e ci sono in bella vista..
comunque:
$ (AvvC) ^^ (BvvD) iff (A^^B) vv (C^^D) $
questo devi dimostrare?
se sì è falso, se no correggilo.
ok riscrivo la formula $ |=$ sperando che questo sia il modo di scrivere bene il simbolo di conseguenza semantica
Lo riscrivo tale e quale al testo d'esame:
$A $|=$ C$ e $B $|=$ D iffA^^B$ $|=$ $C^^D$
devo dimostrarlo usando la definizione e il fatto che $A $|=$ C$ $iff$ $|=$A $rArr$ $C$.
Lo riscrivo tale e quale al testo d'esame:
$A $|=$ C$ e $B $|=$ D iffA^^B$ $|=$ $C^^D$
devo dimostrarlo usando la definizione e il fatto che $A $|=$ C$ $iff$ $|=$A $rArr$ $C$.
secondo me vale => ma non vale <=
se A e B sono due proprietà tali che se valgono entrambe allora si possa dedurre sia C sia D, non è detto che dalla validità di A e non di B si possa dedurre la validità di C, come non è detto che dalla validità di B e non di A si possa dedurre la validità di D.
se può servire alla partecipazione di più utenti, direi che, volendo usare le tabelle logiche, la frase si tradurrebbe così, anche se confondiamo sintassi e semantica:
$[(A=>C)^^(B=>D)] iff [(A^^B)=>(C^^D)]$
se A e B sono due proprietà tali che se valgono entrambe allora si possa dedurre sia C sia D, non è detto che dalla validità di A e non di B si possa dedurre la validità di C, come non è detto che dalla validità di B e non di A si possa dedurre la validità di D.
se può servire alla partecipazione di più utenti, direi che, volendo usare le tabelle logiche, la frase si tradurrebbe così, anche se confondiamo sintassi e semantica:
$[(A=>C)^^(B=>D)] iff [(A^^B)=>(C^^D)]$
Leggo la tua asserzione:
"$A$ soddisfa $C$ e $B$ soddisfa $D$ è equivalente a dire che $A$ e $B$ soddisfa $C$ e $D$" giusto? Quindi
$(A models C) ^^ (B models D) iff (A^^B) models (C^^D)$
"$A$ soddisfa $C$ e $B$ soddisfa $D$ è equivalente a dire che $A$ e $B$ soddisfa $C$ e $D$" giusto? Quindi
$(A models C) ^^ (B models D) iff (A^^B) models (C^^D)$
si è giusto ma io lo devo dimostrare tramite la definizione..quello è il problema
Qualcuno sa consigliarmi un libro con esercizi svolti di logica matematica?
Cos'è il simbolo $|=$ ?
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo