Propositional logic as an elementary part of formal logic investigates the connection of simple (not analyzed) propositions to complex propositions. This connection occurs through the logical connectives such as and and or.
Here it is a matter (in contrast with intensional logic) of an extensional approach in which the actual semantic relations between the propositions are not taken into consideration in favor of studying the extensional rules for connecting propositions that are defined by the truth tables: the truth or falsity of complex propositions is the value of a logical function of the truth or falsity of the individual component propositions. The most important propositional connections between two propositions p and q are (a) conjunction:p and q (notation: pq); (b) disjunction:p or q (notation: pq); (c) implication:if p, then q (notation: p→q); (d) equivalence:p is equivalent to q (notation: p↔q); (e) negation:not p (notation: ¬P). Numerous more recent interpretations of language description are based on the terminology and rules of propositional logic and predicate logic. (alsogenerative semantics, Montague grammar)
This is the complete article, containing 180 words
(approx. 1 page at 300 words per page).
q); (b) 
q); (c) 
also 
