Conseguenza semantica
Ciao, siccome ho visto che c'è un post simile in cui si spiega come svolgere la conseguenza semantica, volevo una mano a capire come svolgere
questi esercizi:
$A|==BvC$ e $B|==D => A|==DvC$
Vorrei capire assegnando dei valori alle proprietà perché non riesco a farmi entrare in testa questo concetto.
Grazie
questi esercizi:
$A|==BvC$ e $B|==D => A|==DvC$
Vorrei capire assegnando dei valori alle proprietà perché non riesco a farmi entrare in testa questo concetto.
Grazie
Risposte
Io forse sono un po' duro ma non ho capito cosa non avresti capito 
Ribadisco di dare un'occhiata a
https://www.matematicamente.it/forum/top ... tml#392998

Ribadisco di dare un'occhiata a
https://www.matematicamente.it/forum/top ... tml#392998