About this document
Properties of Implication Symbol by Bhiijoyy Galindez Moaje is a document available to read on EtoBox.
This document discusses properties of implication and equivalence between logical statements. It defines substitution of schemata for sentence letters and proves that substitution preserves validity, unsatisfiability, implication, and equivalence. It also proves that substituting equivalent schemata produces equivalent schemata and preserves various logical properties.
- Author
- Bhiijoyy Galindez Moaje
- Language
- EN