Questions tagged [propositional-logic]
The propositional-logic tag has no usage guidance.
43
questions
2
votes
3answers
517 views
Structure of “affirming the consequent fallacy”
The formal structure of affirming the consequent fallacy is,
P1 - If A is true, then B is true
P2 - B is true
---------------------------------
C - Therefore, A is true
Now if I give another similar ...
2
votes
1answer
46 views
Propositions as set of possible worlds in FOL
In possible world semantics for propositional calculus, possible worlds are usually taken to be models for propositional formulas (the set of valuations in which a certain formula is true)
In first ...
-2
votes
1answer
50 views
Show the following is valid in SD+: How to solve this derivation
This is not Homework.l do this for fun and expand my learning.
I am obviously having difficulties with SD+,thus l post many problems.
I am using the Logic Book
Problem has be done in SD+
Using goal ...
0
votes
1answer
43 views
I am stuck on SD+ style proof and need to know how to do it
I am using SD+. Most of the derivation has to
be done using it
I am finding this one tricky
I request help or hints to solve it
Derive L => H
1.~L v (~Z v ~U). Assume
2.(U & G) v H Assume
3.Z. ...
0
votes
0answers
27 views
How to apply Transdisciplinarity Logic to Truth Tables?
I've been having trouble trying to figure out Transdisciplinarity Logic. I have had little success while trying to research on my own, finding sources that are either too difficult to understand or ...
0
votes
1answer
51 views
Understanding Damore's statement about decreasing the false negative rate
At page 6 of his well-known memo, James Damore talks about the harm of Google's biases:
Hiring practices which can effectively lower the bar for "diversity" candidates by decreasing the ...
2
votes
0answers
45 views
What is 'expendable' in logic and how to explain 'tautology' given this image?
This image is from http://www.nfillion.com/index.php/teaching/9-logic-112. According to this, a proposition can have 4 basic properties: (1) necessarily, (2) not possibly, (3) missing, and (4) ...
0
votes
2answers
195 views
Is the material implication the correct model of conditional reasoning in mathematics?
Question:
Do you believe that the material implication correctly models the kind of conditional reasoning necessary in mathematics to prove a theorem?
Example:
If x > y and y > 0, then x > ...
0
votes
2answers
52 views
Is there a symbol for what a logic gate yields?
Is there a logic symbol for what output a logic gate yields?
For instance, for an AND gate:
A
B
A ^ B
T
T
T
T
F
F
F
T
F
F
F
F
I want to propagate A ^ B into output C, but I wouldn't want to use ...
2
votes
1answer
72 views
Soundness and Completeness of Tableaux
Tableaux to my knowledge are both sound and complete.
The statement:
"If P is valid then tableau for -P eventually closes".
Does this statement prove that tableau is sound and complete or ...
0
votes
1answer
64 views
Equivalence of truth conditions
Truth conditions, roughly, are the way things should be in order for a sentence to be true.
For instance, the condition for the sentence "Paul is a cat" is that the individual denoted by &...
-2
votes
1answer
33 views
How to prove: 1. (A^B)v(A^C) 2. (AvD) -> E //E
This proof has stumped me. It seems that getting (AvD) alone then using Modens ponens to therefore prove E would be the correct way of going about things but I cannot seem to find a way to get (AvD) ...
0
votes
0answers
14 views
Tautology of p implies q and not p or q [duplicate]
I'm learning about tautologies right now. I see that a tautology is when two propositional statements have the same truth values. But I'm struggle with the truth table my professor provided about the ...
2
votes
1answer
60 views
What are some of the struggles that come with teaching formal logic? [closed]
I'm currently an undergraduate student who wants to do research on the pedagogy of formal logic. As a result, I wanted to know what are some challenges that instructors (or even students for that ...
2
votes
1answer
216 views
How can a proof system be unsound?
I have recently started learning propositional logic. I stumbled upon the concepts of soundness and completeness.
According to http://intrologic.stanford.edu/chapters/chapter_04.html, a proof system ...
0
votes
1answer
29 views
Is my interpretation of “and” correct in these statements?
Let A mean "Equation A has a solution" and B mean "Equation B has no solution." I am a little confused, so I wrote down some possibilities and I wish to see if my interpretation of ...
2
votes
3answers
148 views
Are there multiple definitions of validity?
I have recently started learning the basics of propositional logic. According to http://intrologic.stanford.edu/chapters/chapter_03.html, a sentence is valid if and only if it is satisfied by every ...
0
votes
2answers
106 views
Is a vacuously true argument a valid argument? [duplicate]
From what I know, given some argument, the argument is valid when it has true premises that lead to a true conclusion. Now, what if the premises were false? I mean, the conclusion would be vacuously ...
0
votes
0answers
31 views
Is the truth table method for valuating 0th order sentences not a proof system in its own right?
This might sound a bit opinionated or a bit too pedantic, but in every book (that I've looked at) about propositional logic, usually this chain of events happens:
Discuss the alphabet and grammar of ...
-2
votes
2answers
104 views
How would I start a formal proof for the conclusion (P → Q) ↔ ¬ (P ∧ ¬ Q) with no premises? [closed]
There are no premises, and I'm doing this in fitch
4
votes
2answers
1k views
Is the sentence “all apples are red” an atomic sentence?
In An Introduction to Logic by Patrick Suppes, an atomic sentence is defined as a sentence that contains no sentential connective. However, in a later chapter, a sentence is defined as a formula which ...
0
votes
2answers
113 views
If-then statement and time between antecedent and consequent
Suppose the following statement. "If I kick the ball then the ball will hit the wall." Can this sentence have a truth value? I mean the time that I kick the ball, it hasn't reached the wall so the ...
0
votes
0answers
23 views
Is there a word for instantiating all the things that I suppose in my argument?
Let's say I'm in the propositional logic and I say: "Socrates is a man. All men are mortal. Therefore Socrates is mortal." Sure, it is true that "Socrates is mortal" is the valid conclusion. But it is ...
5
votes
6answers
2k views
What is wrong with these two conditionals?
Is it true that these two conditionals if A then B and if not-A then B cannot be both true?
Example :
"If I stay then I will eat fish"
"If I didn't stay then I will eat fish"
The reason I think ...
-2
votes
1answer
64 views
Proof that if an inference holds in propositional logic, then the inference holds in supervaluationism
I am currently trying to work on problem 8, but I'm not sure exactly how to start it.
I was thinking of starting it by trying to prove that phi is indeed PL valid. I would have to show how that is ...
0
votes
1answer
81 views
How to solve: Show that a formula is PL-valid if and only if it is LP-valid [closed]
I don't really understand this problem, but I'm going to spill out what I've taken notes on. I know that in order to solve this we would need to use the contrapositive in each direction.
I'm going ...
3
votes
1answer
98 views
Classical propositional logic. Are all formulas sentences?
Let L the language of classical (two-valued) propositional logic consisting of a denumerable set of sentential variables as well as the usual operations of negation, disjunction, conjunction, ...
2
votes
1answer
146 views
Proving A ⊨ B iff ⊨A → B
Let A and B represent arbitrary formulas.
Also let 1 ≡ True and 0 ≡ False
Prove that A ⊨ B iff ⊨A → B
For my proof, I break down the biconditional into two conditionals and prove each conditional.
...
0
votes
0answers
22 views
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'...
0
votes
1answer
42 views
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 ...
-4
votes
1answer
202 views
do 'p & ~p' , '~p & ~~p' equal 'either p or ~p'? [closed]
In classical logic,
(1) p & ~p is equivalent to (2) ~p & ~~p;
if we read 'p & ~p' as p, ~p are both true/the case, and if we read '~p & ~~p' as p, ~p are both false/not the case (...
2
votes
1answer
47 views
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?
Here's two examples of what I'm talking about
1
An ideal citizen would be smart, ethical and politically engaged.
However, what usually happens in reality is this:
If they're smart ...
4
votes
1answer
126 views
Did William of Soissons prove the law of explosion in the 12th century?
In the 12th century, William of Soissons attempted to prove that any proposition can be inferred from a contradiction. I've adapted his proof into a logical system I'm more familiar with:
Let E ...
-1
votes
1answer
90 views
How to derive P > (Q > R) from (P > Q) > R in Fitch?
I am having a little bit of difficulty coming up with a Fitch-style natural deduction proof.
Presumably, I need to use a few conditional introduction rules, but I am not sure what I can get out of ...
4
votes
3answers
347 views
Why is it argued that an argument has one and only one conclusion?
Why can't an argument have more than just one conclusion? If we assume some premises and we assume them to be true, then by some inference rules we are sometimes able to deduce more than just one true ...
0
votes
2answers
51 views
What are some key differences between an argument in logic and a theory in mathematics?
Both are composed from rules and assumptions which enable us to deduce other inevitable truths that results from these rules and assumptions, right?
2
votes
6answers
212 views
Is it true in some sense that the only “truth” people are capable of knowing is the “truth” that they assume to be true?
What are some viewpoints on the following assertion in philosophy and logic?
Anything people argue to be true is only their assertion based on some axioms or premises which they assume to be true (...
4
votes
3answers
4k views
What is the difference between a premise and an assumption in logic?
It seems to me that an assumption is an untold premise in my argument. Is it right?
1
vote
1answer
253 views
Is there a reference list of classic tautologies that are not intuitionistic tautologies for propositional logic?
An example of a classic tautology would be ¬¬A ↔ A. Since double negative elimination is not intuitionistically valid, this classic tautology would not be an intuitionisitic tautology since ¬¬A → A is ...
1
vote
2answers
199 views
Confused about the answers to two logic problems
True or False? If monkeys can fly, then 1 + 1 = 3.
What is logically equivalent to all x (p(x) + ~q(x))?
For the first one I think it is False.
4
votes
2answers
617 views
What are the conditions for RAA?
My textbook states that:
In this case, however, what about situations where we can get Q ^ ~Q (sorry, unfamiliar with this formatting) without depending on P? For instance, the proof of EFQ:
1 (1) ...
0
votes
1answer
248 views
Using predicate logic, how to solve symmetric and anti reflexive
The networks is: A->B->C->D
The channels used by the network are: lo, med, hi
h-hi, l-lo, m-med
i) A network uses one, and only one channel.
ii) Networks within close proximity cannot both use the ...
3
votes
1answer
97 views
Is b⊢C∧¬b⊢C∧b⇒C∧¬b⇒C possible?
Are there any cases where b and C are real world statements where b⊢C∧¬b⊢C∧b⇒C∧¬b⇒C where b and C are not tautologies? It may seem like a silly question, but after searching hard and deep, I couldn't ...
