Tagged Questions

Questions about truth tables, conjunctive and disjunctive normal forms, negation, and implication of unquantified propositions would fit very nicely under this tag. Questions about other kind of logics should be tagged with [logic] instead.

138 views

Satisfiability proof of formulas with pure literals

Let $\varphi$ be any propositional formula in negation normal form (NNF). A literal $\ell$ is pure in a formula $\varphi$, if the complement of $\ell$, $\ell^c$, does not occur in $\varphi$, where ...
191 views

70 views

If there are Predicates before Predicate Calculus, why is it called such?

In my understanding, predicates are synonyms of relations: mappings of an ordered set (a,b) to the set of values "True" and "False" Well, propositional calculus comes before predicate calculus, and ...
94 views

206 views

'If…then…' and '…if…' and '…only if…' and 'If… only then…' statements?

Suppose you have two statements A and B and "If A then B". I am trying to think of what this implies and alternative ways of writing this. I think "If A then B" = A$\rightarrow$B = "A is ...
43 views

Formalize “Statement $A$ is the correct explanation of statement $B$”

If I have two statements. Let say Statement $A$ and Statement $B$. What will be the necessary condition or how to write the following conditions mathematically? Statement $A$ is the correct ...
112 views

Why if the antecedent P is false, and the consequence Q true, then the implication P $\Rightarrow$ Q is true? [duplicate]

I know that that's the definition but I wonder why logicians choose that thefinition to be true. It sounds strange to me and I cant make sense of it if someone tell me 'if the sky is red, then I'm ...
89 views

Let $\tau$ and $\rho$ be tableaus such that $\tau \leadsto \rho$. Prove that $\tau$ is satisfiable if and only if $\rho$ is satisfiable.

I have this definition: Let $\nu$ be any propositional interpretation. Let $b$ be any branch of a tableau. Say that $\nu$ is faithful to b if and only if for every formula, $A$, on the branch, ...
40 views

Can boolean logic compute any sort of mathematical operation?

Computers fundamentally do logical operations on the input and memory they have (as far as I know). Computers are used by mathematicians to do all sorts of mathsy operations (as far as I know). Does ...
392 views

What is the difference between Boolean logic and propositional logic?

As far as I can see, they only employ different symbols but they operate in the same way. Am I missing something? I wanted to write "Boolean logic" in the tag box but a message came up saying that if ...
Show that $\neg$ and $\wedge$ form a functionally complete collection of logical operators [duplicate]
Show that $\neg$ and $\wedge$ form a functionally complete collection of logical operators Can someone give a hint?