Basic Logic

SUBMITTED BY: Guest

DATE: Nov. 21, 2013, 11:28 p.m.

FORMAT: Text only

SIZE: 91 Bytes

Raw Download

HITS: 812

Report

Modus Ponens

P implies Q; P is asserted to be true, so therefore Q must be true.