Advanced Search

Question: entail logic is equivalent to what logic which in terms of conj and disj and not ?

Question:entail logic is equivalent to what logic which in terms of conj and disj and not ?

ComputerUser 535 Maple
logic
March 10 2014
0

1.

entail logic ⊨ is equivalent to what logic which in terms of conj and disj and not 

for example ⊨A <-> B, there is nothing in left hand side, 

2.

does it mean that it should represent Entail(_, A<->B)  where _ is wildcard? 
Please Wait...