Representing sentences as propostional logic formula
578
In classical logic, why is $(p\Rightarrow q)$ True if both $p$ and $q$ are False?
71670
Predicates and Quantifiers?
16187
proof of functional completeness of logical operators
129652
Meaning of "strong" and "weak" (formulas?) in propositional logic
129230
Use of prepositions in strings of conjunctions
130415
Negating quantifiers with brackets
36615
Rule-based creation of sub-lists
147556
Express logic puzzles with proposition calculus notation
64617
Bayesian and frequentist reasoning in plain English
144396
fitch style proof problem regarding rule of inferences
27180
Some improvements to blockquotes
89938
Is the Formula Logically Valid?
103653
Interpretations and models in propositional logic
105545
Confused about language and words in logic
138897
help with some Hilbert style proofs in a propositional logic axiom system.
28281
Different standards for writing down logical quantifiers in a formal way
3119
Distribution of Universal Quantifiers