Questions tagged [propositional-logic]
99 questions
4
votes
6 answers
How can “a implies not a” be true?
Why does the capacity of the formula a -> ~a to be true seem so counterintuitive?
Can you give me some ordinary language examples of this case?
Егор Галыкин
- 475
- 6
3
votes
0 answers
Difference between Propositions and Statements
I have read the answers to many questions like mine I reached these two definitions of propositions (I don't know which one is correct)
A proposition is a statement that can be true or false.
If this is true then what characteristic should a…
Credence
- 31
- 2
0
votes
0 answers
Are these formulas correct in modal logics?
I'm looking to try to simplify 2 different formulas to be easier to say but i'm not sure on the exact rules of propositional calculus. I am starting with the two formulas (1) and (2) and i'm experimenting with the equivilences (3) and (4) where (3)…
Richard Bamford
- 875
- 4
- 11
0
votes
0 answers
looking for tool(s) for making diagrams with
I am looking for some tool to create symbolic logic derivation diagrams with horizontal and vertical scope line and sub derivations. Then I want to be able to add them to a word document. Word doesn't appear to make creating the diagram possible. …
FreddyNoNose
- 101
0
votes
1 answer
Is this proof valid (noob)?
I'm trying to prove that from P we can conclude that Q implies (P and Q). I understand how this is true intuitively, but I'm just getting a grasp of how to use propositional logic, its rules, etc. to express that. Any help would be appreciated.…
Josh Boulton
- 9
- 2
-1
votes
1 answer
Translating English statements to logical expressions
this is my first questions so I apologize for any formatting mistakes.
Given the following propositions:
c: I will return to college.
j: I will get a job.
and given the sentence:
"There is no way I am returning to college."
I need to translate…
JoeyVeeStallion
- 3
- 2