Stack Overflow
Stack Overflow

Questions tagged [implication]

Anything related to the logical implication operation, i.e. a binary operation between two truth values A and B that in math is denoted by an arrow `A -> B` (A implies B) and that can be expressed in term of basic logical operations as `not A or B`.

Anything related to the logical implication operation, i.e. a binary operation between two truth values A and B that in math is denoted by an arrow A → B (A implies B) and that can be expressed in term of basic logical operations as not A or B.

29 questions
1
vote
1 answer

Formal proof for ((p ⇒ q) ⇒ p) ⇒ p

I'm trying to construct a formal proof for ((p ⇒ q) ⇒ p) ⇒ p. in Fitch. I know this is true, but how do I prove it? I can only use And Intro, And Elim, Or Inro, Or Elim, Neg Intro, Neg Elim, Impl Intro, Impl Elim, Biconditional Intro, and…
rodrigo ferreira
  • 61
  • 6
1
vote
4 answers

SQL bitwise operations

I'm hooked on bitwise for a new security paradigm I'm creating called VMAC. Variable Matrix Access Control. I want to do logical implication on to bit strings. Just trying to avoid echoeureka (reinventing the wheel). Before I reinvent the…
Stephen
1
vote
1 answer

Prove or disprove the following implication (Big O Notation)

I couldn't prove this: f(n) = O(g(n)) implies f(n)^k = O(g(n)^k) where k is element of the natural, positiv numbers I've found similar examples on the internet. But I'm not sure if it's right to implement those solutions for this example.
Elfie
  • 374
  • 3
  • 15
1
vote
1 answer

Logical Equivalence - OR gates and implication

I'm currently answering a logical equivalence question and would like confirmation of the rule I used at one point as it is not in the list of laws, presumably because it's "something you should just know". Part of my working is (NOT(p) OR NOT(q))…
user1763046
  • 11
  • 3
1
vote
1 answer

Logical implication with 1 variable

I have the following statements in my knowledge base, but there is a premise with only 1 variable (refer to 3rd line). I'm attempting to build a truth table for this, but the 3rd premise gets me confused as there is only 1 condition to decide the…
erangakm
  • 41
  • 1
  • 4
0
votes
0 answers

Fuzzy Inference System IF-THEN Rules

I am currently doing a fuzzy inference system project in Python, however, a question came up. I have to do it the hard way, that is, do it step by step, as done here:…
bdzh
  • 5
  • 2
0
votes
0 answers

Applying and modifying AI results

Hi guys I wonder a couple of ways how can I take an AI result and imply it to my code. For an example if I work on images and if my AI model for process the images, I want apply direct result of AI model upon my images. How can I do this? Examples…
Ege
  • 1
0
votes
1 answer

Material Conditional and Equivalence in Programming

I have just started reading into propositional calculus/logic, and have realised that a lot of the foundational concepts in this area are similar to those encountered in programming. That is, propositions/sentences in logic (due to the fact that…
Then-Brief-864
  • 1
  • 2
0
votes
2 answers

How to linearize an implication?

Could someone help me linearize this implication? Being x and y integer variables, the implication is the following x >= 1 --> y = 0 y >= 1 --> x = 0 I would really appreciate some help.
Leila Lemos
  • 1
  • 1
0
votes
1 answer

What is the difference between the symbol '->' and '|->' in System Verilog Assertion Properties

I have encountered an example property which works here: property p_a; @(posedge clk) $rose(a) -> $rose(b); endproperty There is no syntax error above. Then I tried to modify to this property p_a; @(posedge clk) $rose(a) -> ##2…
シアジョナサン
  • 41
  • 7
0
votes
1 answer

Checking if a column has a certain value, then restrict another by a list

I am wondering if there is any way for me to check if a column has a value, if the value is XXXXX then another column must be in the list of (A,B,C). something like: CREATE TABLE test (a CHAR(60),b CHAR(60),Check (IF a == 'test' THEN b in…
Jigoku
  • 3
  • 2
-1
votes
1 answer

Logical Equivalence: Show that R OR P implies R OR Q is equivalent to NOT R implies (P implies Q)?

I'm practicing logical equivalence and I've come across a question that I'm struggling to answer: Show that (R or P -> R or Q) is equivalent to (not R -> (P -> Q)). I've examined the truth tables of both implications but the question states that I…
waffleeez
  • 11
  • 6
-2
votes
1 answer

Why programmers doesn't use material conditional (implication)?

Logical negation (NOT), conjunction (AND), disjunction (OR) and exclusive disjunction (XOR) are very often used in every programming language. Why isn't the material implication (p → q) used so often?
vit-krizka
  • 1
  • 1
-4
votes
1 answer

Prolog - a predicate to compare three arguments

I am new into prolog and I've already done some coding, but I have a task I cannot handle. Could you please tell me how to describe a working predicate, that compares arg1, arg2 and arg3 and returns yes it arg1>arg2>arg3? Many thanks in…
grzemski
  • 1
  • 2
1
2