implikáció
C1
Vengrų
conditional, entailment
DAIKTAVARDIS
C1
TECHNICAL
2
conditional
C1
Vartosenos šablonas:
P → Q; P implikálja Q-t
Pavyzdžių porų dar nėra.
Reikšmė
if–then logical statement
Temos
logic
|mathematics
|proposition
|implication
|truth_value
|science
|education
Apibrėžimas
In logic or mathematics, a statement of the form "if P, then Q", where the truth of Q is linked to the truth of P.
DAIKTAVARDIS
C1
TECHNICAL
2
entailment
C2
Pavyzdžių porų dar nėra.
Reikšmė
Truth-guaranteeing logical relation
Temos
logic
|semantics
|inference
|truth_conditions
|technical_term
|linguistics
|philosophy
|reasoning
Apibrėžimas
A relation between statements in which the truth of one statement guarantees the truth of another.
Gramatika
Gramatinės informacijos dar nėra.
Posakiai
Prie šio įrašo dar nėra posakių.