Tautologies and truth tables. To show that an FOL sentence is a tautology, we construct a truth table. Look at the example.
確定! 回上一頁