Tag: propositional-logic

5 What is wrong with these two conditionals? 2020-02-27T22:13:51.523

4 What are the conditions for RAA? 2019-05-22T17:02:59.760

4 What is the difference between a premise and an assumption in logic? 2019-08-20T09:52:21.503

4 Why is it argued that an argument has one and only one conclusion? 2019-08-24T17:20:04.350

4 Did William of Soissons prove the law of explosion in the 12th century? 2019-10-13T18:07:43.857

3 Is b⊢C∧¬b⊢C∧b⇒C∧¬b⇒C possible? 2019-03-14T23:53:06.267

3 Classical propositional logic. Are all formulas sentences? 2020-02-17T14:11:17.973

3 Is the sentence "all apples are red" an atomic sentence? 2020-06-10T06:09:15.353

2 Is it true in some sense that the only "truth" people are capable of knowing is the "truth" that they assume to be true? 2019-08-24T10:20:44.770

2 A set of three statements, of which only two at a time can be true: is there a specific term for this type of combination game? 2019-10-24T11:45:41.587

2 Proving A ⊨ B iff ⊨A → B 2020-01-15T01:12:25.017

2 Are there multiple definitions of validity? 2020-07-31T11:25:22.457

2 How can a proof system be unsound? 2020-08-09T09:26:00.107

2 What are some of the struggles that come with teaching formal logic? 2020-08-24T02:55:07.890

2 Soundness and Completeness of Tableaux 2020-11-16T22:35:52.520

2 What is 'expendable' in logic and how to explain 'tautology' given this image? 2021-01-11T15:00:10.590

1 Confused about the answers to two logic problems 2019-08-11T17:09:34.720

1 Is there a reference list of classic tautologies that are not intuitionistic tautologies for propositional logic? 2019-08-14T02:14:28.607

0 Using predicate logic, how to solve symmetric and anti reflexive 2019-04-07T07:31:02.713

0 What are some key differences between an argument in logic and a theory in mathematics? 2019-08-24T13:08:58.403

0 Is this proof valid (noob)? 2019-12-03T23:08:18.553

0 looking for tool(s) for making diagrams with 2019-12-07T00:20:23.567

0 How to solve: Show that a formula is PL-valid if and only if it is LP-valid 2020-02-19T03:35:14.777

0 Is there a word for instantiating all the things that I suppose in my argument? 2020-04-14T18:01:09.517

0 If-then statement and time between antecedent and consequent 2020-06-05T11:49:14.147

0 Is the truth table method for valuating 0th order sentences not a proof system in its own right? 2020-07-23T01:03:39.323

0 Is a vacuously true argument a valid argument? 2020-07-30T08:58:54.077

0 Is my interpretation of "and" correct in these statements? 2020-08-07T09:17:22.813

0 Tautology of p implies q and not p or q 2020-09-20T15:22:50.340

0 Equivalence of truth conditions 2020-10-26T11:04:20.607

0 Is there a symbol for what a logic gate yields? 2020-12-27T06:40:15.457

0 Understanding Damore's statement about decreasing the false negative rate 2021-01-24T17:30:31.427

-1 How to derive P > (Q > R) from (P > Q) > R in Fitch? 2019-10-09T03:50:38.057

-1 How to prove: 1. (A^B)v(A^C) 2. (AvD) -> E //E 2020-10-06T23:14:25.727

-1 Is the material implication the correct model of conditional reasoning in mathematics? 2020-12-31T09:17:49.670

-1 Provide a derivation which shows the following sentence to be a contradiction 2021-02-25T21:29:02.470

-2 Proof that if an inference holds in propositional logic, then the inference holds in supervaluationism 2020-02-19T06:33:53.667

-2 How would I start a formal proof for the conclusion (P → Q) ↔ ¬ (P ∧ ¬ Q) with no premises? 2020-06-19T22:31:39.277

-4 do 'p & ~p' , '~p & ~~p' equal 'either p or ~p'? 2019-11-11T16:02:01.363