Πίνακας αληθείας: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας
Γραμμή 49:
 
 
===Λογική συνεπαγωγή===
===Logical implication===
LogicalΗ λογική πύλη συνεπαγωγής implication or the [[material conditional]] are both associated with an [[logical operation|operation]] on two [[logical value]]s, typically the values of two [[proposition]]s, that produces a value of ''false'' just in the singular case the first operand is true and the second operand is false.
 
The truth table associated with the material conditional '''if p then q''' (symbolized as '''p → q''') and the logical implication '''p implies q''' (symbolized as '''p ⇒ q''', or '''Cpq''') is as follows:
Γραμμή 70:
|}
 
ItΗ mayλογική alsoπύλη be useful to note thatσυνεπαγωγής '''p → q''' isείναι ισοδύναμη equivalentμε to '''¬p ∨ q'''.
 
===Logical equality===