$elogic=1;include '../common.php'; ?>
P Q R | ((P→Q)&R) (~QvR) (P↔(Q↔R)) -------+------------------------------ T T T | T T F T T T T T F | T F F F F F T F T | F F T T F F T F F | F F T T T T F T T | T T F T F T F T F | T F F F T F F F T | T T T T T F F F F | T F T T F TThis sequent is not valid. PageFooter(); ?>