q → p - Converse, ∼p → ∼q - Inverse, ∼q → ∼p - Contrapositive, ∼ - Negation, p ʌ q - Conjunction, p v q - Disjunction, p → q - Conditional , p ↔ q - Biconditional ,

Logic and Proofs Vocab

Līderu saraksts

Vizuālais stils

Iespējas

Pārslēgt veidni

Atjaunot automātiski saglabāto: ?