Conseguenza semantica

Fitzgalippo
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

Risposte
Rggb1
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

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.