Logic Definition and 1000 Threads

I heard a lot of this "Quantum theory defies the human logic, it's totally illogical but it works!" and I'm trying to understand whether this is true or not. I don't mean by logic some mind blowing stuff, like teleportation is possible. I mean the kind of logic that would be difficult or...

Homework Statement Homework EquationsThe Attempt at a Solution the solution according to blog is Neither May nor June is possible because they have unique dates - that means Albert couldn't know for sure that Bernard doesn't know. If Albert had May for example, Bernard might have the number...

Thanks to anyone kind enough to help check my logic. Using 13 gauge copper wire and a magnet I can generate .05 watt every time the magnet passes the coil (according to the voltmeter). Am I correct in assuming that if the magnet passes the coil 60 times a minute, then (.05 watts X 60rpm X 60...

I cannot figure out where the values from Q1+ and Q0+ are coming from. What truth table are these coming from?? I would greatly appreciate any help. Thank you.

From the text it says (P -> Q) or (P -> R) is equivalent to P -> (Q or R) I tried to see if this is true so I tried (P \to Q) \lor (P \to R) \\ (P \lor \neg Q) \lor (P \lor \neg R) \\ P \lor \neg Q \lor \neg R \\ P \lor \neg(Q \land R) \\ P \to (Q \land R) and P \to (Q \lor R) \\ P \lor...

Im just reading this one example and i am stumped at this one step. (R\to C) \land (S \to C) \\ (\neg R\lor C) \land (\neg S \lor C) \ \ \ \ \ \textrm{by conditional law}\\ (\neg R\land \neg S) \lor C \ \ \ \ \textrm{by distributive law} I don't understand how it went from the second step to...

bapowell submitted a new PF Insights post Scientific Inference and How We Come to Know Stuff. II. Continue reading the Original PF Insights Post.

You are the ruler of a medieval empire and you are about to have a celebration tomorrow. The celebration is the most important party you have ever hosted. You've got 1000 bottles of wine you were planning to open for the celebration, but you find out that one of them is poisoned. The poison...

bapowell submitted a new PF Insights post Scientific Inference and How We Come to Know Stuff Continue reading the Original PF Insights Post.

Hey everyone, I have a logic question, though I'm not sure if this might belong in the math forum (probably not :P) Anyway, I'm writing a BASIC compiler for the Motorola 68k processor by reverse engineering a dead project/compiler (with permission from the author as he's abandoned it years...

Homework Statement For the ALS logic circuit, estimate: (a) the current IOL (b) the delay in a 1-to-0 transition at one of the inputs of GATE 1 appearing as an effect at the output of GATE 5. (c) the total power consumed by the circuit in a quiescent state. Homework Equations /data[/B] The...

Homework Statement Problem from a discrete structures online open course. I don't have the answers and was quite confused about this unit, so I was hoping to check my work/ clarify a few questions. Problem 5.5. Express each of the following predicates and propositions in formal logic notation...

We are spying on a train manufacturer’s collection of top-secret futuristic trains to determine some facts about how these high-speed trains are powered. We see from a posted sign that each train is composed of cars all of the same length. We are able to measure the front car of each train...

Hi, I have this logic gate http://www.ti.com/lit/ds/symlink/sn54hc32.pdf I am using 5V as my VCC. In the datasheet it says that the output current at 6V is 5.2mA. My question is, Is that the max current that it can output ?

Hi everyone. I would like to ask about this light sensor using not gate circuit. I use LDR as an input and a LED as an output. I have tried this circuit in Proteus, and it works. When the LDR 'off', LED turns on, and vice versa. But i don't really understand about the working principle of this...

.The number of points, having both co-ordinates as integers, that lie in the interior of the triangle with vertices (0, 0), (0, 41) and (41, 0), is (1) 901 (2) 861 (3) 820 (4) 780 my attempt: for this to be true i know that sum of x and y coordinate should be 41 but i don't know how to proceed.

Homework Statement So we've started digital logic in lectures and don't seem to understand some things about it. I've searched online but nobody seems to have explained some things. RS LATCH GATED LATCH D LATCH TIMING Q1: Does LATCH response(as in truth tables) just mean that nothing...

I am trying to solve the problem 4.8 found http://phys.csuchico.edu/ayars/312/Handouts/comp-phys-python.pdf at pdf's page 115-6 [book's page 107-8]. My code so far is: from mytools import rungekuta4 from pylab import * #set globals G=9.81 MASS=1.0 K=42.0 MU=0.15 A=1. OMEGA=0.01 #set diff...

I have found this topic but I am not allowed to answer. https://www.physicsforums.com/threads/fuzzy-logic-control-vs-pid.667717/ I have the same concern that the fuzzy is basically similar to a proportional control. In the thread I liked above, there is also this link...

In the spring of 2001 and the fall of 2001, i took a calculus II class at a university. I failed the class both times, largely due to troubles with sequences and series. In the spring of 2005, i took an Introduction to Philosophy class at a community college. When i was in the Philosophy class...

I'm preparing for college on my own. I need to proof that: [p -> (q v r)] and [(p ^ -q) -> r] are logically equivalent. with 1) v "or" 2) ^ "and" 3) -q "negation of q" I did this using truth tables and this perfectly shows that those 2 statements are logically equivalent. Can someone confirm...

Homework Statement Prove by contradiction that if b is an integer such that b does not divide k for every natural number k, then b=0. Homework EquationsThe Attempt at a Solution I know that proof by contradiction begins by assuming the false statement: If b is an integer such that b does not...

Every math major eventually learns logic and standard proof techniques. For example, to show that a rigorous statement P implies statement Q, we suppose the statement P is true and use that to show Q is true. This, along with the other general proof techniques are very broad. A math major would...

I'm studying physics, and I've covered calculus and general physics. My problem is: -My critical thinking is really not good. -Whenever someone is asking me about say, object A, I would answer something that is not related to object A (I'm not aware of it until that person tell me that I...

Homework Statement This question has several parts, and I'm confused about some of them. Consider ##Z = \overline{(A + B \bar{C})D + E \bar{F}}##. Assume primary and inverted inputs are available. A) Implement the function in conventional CMOS logic style such that only 4 transistors are...

I am a CS student and have a very poor understanding of this field of mathematics. I don't properly know the difference in between symbolic logic, first order logic, propositional calculus, model theory and lambda calculus. But, I want to start studying logic formally from the very basic. I'd...

Why does Bernie Sanders want to break up the banks? He's talked baout reinstating Glass-Steagall, but why was repealing this law bad in the first place?

I would like to practice logic thinking more. The sort of problems I'm talking about are like this: Define two constraints, which relates the variables x and y to v such that if either x or y is 1 then v is forced to be 1. Where the answer is then: x ≤ v y ≤ v Does anybody know where I can...

Homework Statement Express the following English sentence as a symbolic statement. Do not use the there exist symbol “There is a unique natural number n which is both even and prime.” We also have properties like let P(n) be the property that n is prime, L(n, m) the relation that n < m, and...

There is a real number between any other two real numbers. I have two ways of writing it For all y and z there is some x such that y < x < z OR There is such an x such that for all y and z, y < x < z I'm confused as to which one is correct.

I had posted a question in the mathematics forum about some conceptual issues I was encountering while reading the book, but now I realize as I read on that I may need a dedicated thread for asking questions about the book. So I am asking two things in this thread. Firstly, I am asking someone...

Homework Statement A particular logic gate takes two binary inputs A and B and has two binary outputs A' and B'. I won't reproduce the truth table. Suffice to say every combination of A and B is given. The output is produced by A' = \text{NOT} \ A and B' = \text{NOT} \ B . The input has...

Using only modus ponens or substitution. Prove: q -> r -> [ [ p -> q ] -> [ p -> r ] ] using the three axioms: 1) p -> [ q -> p ] 2) s -> [ p-> q ] -> [ [s -> p] -> [ s -> q ] ] 3) p -> f -> f -> p where the symbol f is "false." I am having the hardest time trying to solve this proof, any...

Well, the tittle is self-explanatory. If anyone has an interesting problem or puzzle. I will be grateful if you could post it.

how can i design an even number generator with a 4 bit counter without using any flip-flop , Using only 4 bit counter?

I am reading the book Mathematical Logic by Ian Chiswell and Wilfred Hodges ... and am currently focused on Chapter 3: Propositional Logic and, in particular, Section 3.4: Propositional Natural Deduction ... I need help with understanding an aspect of Example 3.4.3 which reads as...

Hi guys! I'm a pharmacist who has been trying to understand how time dilation and Lorentz contraction and etc. work, out of pure curiosity. I have been reading a course by Michael Fowler, which I link the 4th section of: http://galileoandeinstein.physics.virginia.edu/lectures/sreltwins.html In...

Homework Statement How come for the following image when I assume block B slips up, block A does not move. The free body diagram at block B does not have a normal from the ground. This is a static friction problem. [/B]Homework Equations No relevant equations all theory[/B] The Attempt at a...

Hello, I am trying to understand the intuition of the definition of the period of a state in a Markov chain. Say for example we can go from state i to state i in 3,5,7,9,11... and so on steps. The gcd here is one. So is this aperiodic state or one with periodicity of 2. Thanks

Homework Statement Design serial transmitter circuit take 8-bit word in parallel as input, when an input control signal (SEND) goes high, and serially outputs the word (i.e., one bit during each clock cycle) to a single transmission line. Transmission of a word begins with the least...

∃x∀y∀z[(F(x, y)∧G(x,z)) → H(y,z)]

Hello engineers! :)I have a question bothering me i quite can't figure out. I have a Priority encoder: http://www.digikey.com/product-search/en?vendor=0&keywords=ls148d&stock=1 datasheet: http://www.ti.com/lit/ds/symlink/sn74ls148.pdfAnd this RF-Switch...

I am reading the book Mathematical Logic by Ian Chiswell and Wilfred Hodges (C&H) ... and am currently focused on Chapter 2: Informal Natural Deduction ... I need help with what C&H call the 'dandah' or more specifically symbols with a dandah through them ... The relevant text in C&H...

I am reading the book Mathematical Logic by Ian Chiswell and Wilfred Hodges ... and am currently focused on Chapter 2: Informal Natural Deduction ... I need help with interpreting the notation of an aspect of Exercise 2.1.3 which reads as follows:In the above text after the text: "Possible...

Someone has spray-painted (no idea why) these formulas on the blackboard. I assume they are from the math class that is held before our physics class. I'm guessing it to be calculus or mathematical logic but I don't know. What I'm reading is that pi equals lambda and therefore f equals 1. Does...

Homework Statement 2. The attempt at a solution Circuit: A B G D E F C 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0Answer: Is (a) right? And any ideas what could be (b)?

I haven't posted here in forever, BUT I gained lots of valuable knowledge a couple years ago from some ofthe guys here gaining us our 5th and 6th track championships, now after stepping out of racing for a while I am coming back, and looking at sprint cars and the setup of these cars, I have...

why do we consider normal line in expressing a plane,say in ##R^3## ,of the form ## ax + by + cz = d ##? What is the logic behind this normal line selection? Plz provide intuitive explanations.Thanks

So I was reading my book and I came across a table, I don't understand how they converted the problem into a table. They're designing a sequential logic machine and it looks like they made a K map of something, but I don't know what they used. Can anyone explain how the book did this...

I'm supposed to make a simple logic calculator based on the following requirements: 1. The user can use either capital or lower case 'T' and 'F' in their expression. 2. Use either a ';' or '=' to indicate the expression should be evaluated immediately. 3. The program should not exit when it...