Material conditional (original) (raw)
القضية الشرطية عند المنطقيين هي القضية المركبة من قضيتين إحداهما محكوم عليها والأخرى محكوم بها. وهي على قسمين لأنها إن أوجبت حصول إحدى القضيتين عند حصول الأخرى أو سلبته فهي متصلة وإن أوجبت انفصال إحداهما عن الأخرى أو سلبته فهي منفصلة. فالقضية شرطية مثل كلما كانت الشمس طالعة فالنهار موجود.
| Property | Value |
|---|---|
| dbo:abstract | القضية الشرطية عند المنطقيين هي القضية المركبة من قضيتين إحداهما محكوم عليها والأخرى محكوم بها. وهي على قسمين لأنها إن أوجبت حصول إحدى القضيتين عند حصول الأخرى أو سلبته فهي متصلة وإن أوجبت انفصال إحداهما عن الأخرى أو سلبته فهي منفصلة. فالقضية شرطية مثل كلما كانت الشمس طالعة فالنهار موجود. (ar) El condicional material, també conegut com a implicació material, condicional funcional de veritat o simplement condicional, és una constant lògica que connecta dues proposicions. El condicional material intenta ser la versió formal del condicional en el llenguatge natural, el qual s'expressa per mitjà de paraules com les següents: * Si plou, llavors vaig al cinema. * Vaig al cinema si plou. * Quan plou, vaig al cinema. Simbòlicament, el condicional material se sol denotar de les següents maneres: , i de vegades: On A i B són proposicions qualssevol. Les variables A i B es coneixen respectivament com l'antecedent i el conseqüent del condicional. A lògica proposicional, el condicional material és una funció de veritat binària, que retorna fals quan A és veritable i B és falsa, i torna veritable en qualsevol altre cas. A lògica de predicats, pot ser vist com una relació de subconjunt entre l'extensió de predicats (possiblement complexos). (ca) Implikace (z lat. implicatio, propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí. Skutečnost nebo výpověď A implikuje nějaké B, pokud z A nutně vyplývá B, případně pokud je B v A už zahrnuto čili implikováno. Příklad: „Nebude-li pršet, nezmoknem.“ (cs) Subjunktion (lat. subiungere ,unterordnen‘) oder Konditional (lat. condicio ,Beschaffenheit, Zustand, Bedingung, Verfassung‘) oder auch materiale Implikation (lat. materia ,das, woraus etwas besteht‘ und implicare ,umfassen‘) wird in der Logik eine Aussage genannt, die mit dem Junktor „Wenn-dann“ aus zwei anderen Aussagen zusammengesetzt ist, zum Beispiel die Aussage „Wenn ein elektrischer Strom fließt, dann erwärmt sich die Leitung“. Zwischen der Subjunktion oder materialen Implikation – oder dem Konditional – als einer objektsprachlichen Verknüpfung, die zwei Aussagen zu einer neuen Aussage derselben Sprachebene verknüpft, und der metasprachlichen Implikation muss sorgfältig unterschieden werden. Die metasprachliche Implikation ist eine Aussage über zwei Aussagen, zum Beispiel eine solche Aussage: „Die Aussage ‚Es regnet‘ impliziert die Aussage ‚Die Straße ist nass.‘ “ Der Zusammenhang zwischen Subjunktion (als materialer Implikation) und metasprachlicher Implikation besteht darin, dass eine Implikation „Die Aussage ‚A‘ impliziert die Aussage ‚B‘“ genau dann zutreffen kann, wenn die Subjunktion „Wenn A, dann B“ zutrifft. (de) Implico estas kopulo, kiu ligas du logikan frazon p (antaŭulo de implico) kaj q (postanto de implico). il signifas : "el p rezultas/implicas q".. Vertabelo por implico: Se signifi vero = 1 kaj malvero = 0. Implico povas prezenti per aliaj simboloj de matematika logiko: Implico havas tion ĉi kvaliton: Tio ĉi formulo estas bazo de . (eo) El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es un conectiva lógica que conecta dos proposiciones, representado usualmente como . En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como una relación de subconjuntos entre la extensión de predicados (posiblemente complejos). A diferencia del Español coloquial donde expresiones "si...., entonces..." implican causa y efecto, el condicional material no establece convencionalmente una relación de causalidad entre sus proposiciones. Es simplemente una expresión que asume un valor-verdad falso cuando, simultáneamente, es verdadero y es falso. El condicional material se puede denotar de varias maneras, (aunque este símbolo puede ser usado como el símbolo de un superconjunto en teoría de conjuntos) (aunque no es recomendado, ya que es usado para implicación lógica) (en notación polaca) Con respecto a las variables A y B, es el antecedente del condicional el consecuente del condicional Es importante no confundir el concepto de condicional material con el de implicación lógica. La confusión es exacerbada porque los símbolos y son imprecisamente usados como expresiones equivalentes por muchos, cuando realmente no lo son. Aunque en conversaciones del día a día la diferencia no tiene mayor impacto, la diferencia sutil entre ambos conceptos es significativa en el entendimiento correcto de la lógica proposicional. (es) En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors mon gazon est arrosé ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.). Étant un connecteur, qui produit une proposition à partir de deux autres, et qui est interprété par une opération sur les propositions ou sur les valeurs de vérités, l'implication n'est pas la déduction qui est une relation entre propositions. Les logiciens utilisent couramment pour l'implication la flèche simple « → », et encore parfois le symbole « ⊃ » introduit par Peano. La déduction logique ou l'affirmation d'un théorème peuvent être représentées par des symboles au sens proche mais non identique : « ∴ », « ⊢ » et « ⊨ ». (fr) The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol is interpreted as material implication, a formula is true unless is true and is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum. Material implication is used in all the basic systems of classical logic as well as some nonclassical logics. It is assumed as a model of correct conditional reasoning within mathematics and serves as the basis for commands in many programming languages. However, many logics replace material implication with other operators such as the strict conditional and the variably strict conditional. Due to the paradoxes of material implication and related problems, material implication is not generally considered a viable analysis of conditional sentences in natural language. (en) De logische implicatie is in de logica een bewering die stelt dat als P waar is, Q ook waar is. Deze bewering is alleen onwaar als het antecedent P waar is en het consequent Q onwaar is. De waarheid van het geheel hangt alleen af van de waarheidswaarden van de samenstellende delen en niet van hun betekenis, wat soms tot tegenintuïtieve resultaten leidt. Om dit te benadrukken wordt de implicatie ook wel materiële implicatie genoemd. De implicatie wordt aangegeven met een pijl. "Als P dan Q" wordt bijvoorbeeld geschreven als P → Q. De samenstelling P → Q → R dient gelezen te worden als P → (Q → R). De waarheidstabel van de implicatie is als volgt: (T = True = waar, F = False = onwaar) Een logische implicatie is logisch equivalent aan . Dit wil zeggen dat beide formules dezelfde waarheidswaarde hebben voor alle mogelijke toekenningen van waar en onwaar aan P en Q. (nl) Il termine implicazione logica si riferisce al legame che esiste tra una proposizione (antecedente) e un'altra proposizione (conseguente) in modo da metterne in relazione i rispettivi valori di verità. (it) Implikacja, implikacja materialna (w odróżnieniu od implikacji formalnej, tj. wynikania) – zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań (poprzednik implikacji) i (następnik implikacji) spójnikiem implikacji Spójnik implikacji jest spójnikiem ekstensjonalnym – implikacja przyjmuje wartości logiczne zależące jedynie od wartości logicznych łączonych zdań. gdzie: 1 – prawda0 – fałsz. (pl) 論理包含（ろんりほうがん、含意（がんい）、内含、英: implication、IMP）は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文（じょうけんぶん、英: conditional）とほぼ同じものである。論理的帰結（英: logical consequence）や伴意（英: entailment）とは異なる物である。 「論理的帰結」を参照 2つの命題 P と Q に対する論理包含を P → Q などと書き、「P ならば Q」と読む。命題 P → Q に対し、P をその前件、Q をその後件などと呼ぶ。 (ja) Имплика́ция (от лат. implicatio «связь; сплетение») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую сторону, но всегда указывающие на следствие. Суждение, выражаемое импликацией, выражается также следующими способами: * посылка является условием, достаточным для выполнения следствия: * следствие является условием, необходимым для истинности посылки. Импликация играет очень важную роль в умозаключениях. С её помощью формулируются определения различных понятий, теоремы, научные законы. При учёте смыслового содержания высказываний импликация подразумевает причинную связь между посылкой и заключением. (ru) En implikation eller villkorssats är en sats på formen "om A så B", där A och B var för sig är satser. Implikationens första del ("villkoret") kallas antecedent och dess andra del ("slutsatsen") kallas konsekvent. En implikation kan vara materiell, tautolog, formell eller kontrafaktisk. * Materiell implikation: p → q är falsk om p är sann och q är falsk och sann i övriga fall. * Tautolog implikation: F → G är sann för alla värden på de i formlerna F och G ingående variablerna. * Formell implikation eller vardagsspråklig implikation: A → B, där ett visst kausalt eller formellt, ej väldefinierat, samband måste föreligga mellan försats och eftersats för att implikationen skall betraktas som meningsfull och sann. * Kontrafaktisk implikation: En sats av typen "om A vore - vilket A inte är - så vore B" eller "om A inte vore - vilket A är - så vore B". (sv) O condicional material, também conhecido como implicação material, condicional funcional de verdade ou simplesmente condicional, é uma operação lógica. (pt) 在命题演算，或在数学的逻辑演算中，实质条件、實質蘊涵或蕴涵算子是一种二元的真值泛函的逻辑运算符，它有着如下形式： 若A，則B。 这裡的A和B是陈述变量（可以被语言中任何有意义的可表示的句子所替代）。在这种形式的陈述中，第一项这裡的A，叫做前件；第二项这裡的B，叫做后件。 这个算子使用右箭头“→”（有时用符号“⇒”或“⊃”）来符号化，其語義僅爲“如果A為真，那么B亦為真”。它的常見寫法見下： * * * 須注意的是，更常用於語意蘊含（等同符號）。這也是大多數初學者易搞混的點。 (zh) Імплікація — логічна зв'язка «якщо …, то …», тобто оператор між множиною T формул та формулою B, що виконується, якщо кожна модель (або інтерпретація) T також є моделлю B. У символьному вигляді: 1. * , 2. * 3. * 4. * Двомісна логічна операція, що має значення «хибність», тоді і тільки тоді, коли перший операнд має значення «істина», а другий — «хибність». Логічну імплікацію можна задати через інші логічні операції, наприклад: (uk) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Venn1011.svg?width=300 |
| dbo:wikiPageID | 658808 (xsd:integer) |
| dbo:wikiPageLength | 14556 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1124526813 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge,_Massachusetts dbr:Principia_Mathematica dbr:Propositional_calculus dbr:Robert_Stalnaker dbr:Rules_of_inference dbr:Modal_logic dbr:Bertrand_Russell dbr:Antecedent_(logic) dbc:Conditionals dbc:Logical_consequence dbr:Variably_strict_conditional dbr:Indicative_conditional dbr:Intuitionistic_logic dbr:Reductio_ad_absurdum dbr:Peirce's_law dbr:Connex_relation dbr:Consequent dbr:Cooperative_principle dbr:Corresponding_conditional dbr:Mathematical_logic dbr:Negation dbr:Philosophia_(journal) dbr:Gerhard_Gentzen dbr:Giuseppe_Peano dbc:Logical_connectives dbr:Conditional_proof dbr:Conditional_quantifier dbr:Conditional_sentence dbr:Contraposition dbr:Arithmetices_principia,_nova_methodo_exposita dbr:Logical_conjunction dbr:Denotation dbr:Frank_Cameron_Jackson dbr:Polish_notation dbc:Semantics dbr:Transitive_relation dbr:Truth_function dbr:Truth_table dbr:Wiley-Blackwell dbr:Law_of_excluded_middle dbr:Laws_of_Form dbr:Logical_graph dbr:False_(logic) dbr:Norwell,_Massachusetts dbr:Causal_graph dbr:Formal_semantics_(natural_language) dbr:Formal_system dbr:Entailment dbr:Strict_conditional dbr:Logical_equivalence dbr:Probability_theory dbr:Proof_theory dbr:Relevance_logic dbr:Harvard_University_Press dbr:Tautology_(logic) dbr:Counterfactual_conditional dbr:Arend_Heyting dbr:Modus_ponens dbr:Distributivity dbr:Dorothy_Edgington dbr:Dover_Publications dbr:Boolean_domain dbr:Boolean_function dbr:Sole_sufficient_operator dbr:Classical_logic dbr:Implicational_propositional_calculus dbr:Import-Export_(logic) dbr:Mineola,_New_York dbr:Reflexive_relation dbr:Material_implication_(rule_of_inference) dbr:Modus_tollens dbr:Semantics_of_logic dbr:Wason_selection_task dbr:Nonclassical_logic dbr:Natural_language dbr:Programming_language dbr:Philosophy_of_language dbr:Vacuous_truth dbr:Simplification_of_disjunctive_antecedents dbr:Pragmatics dbr:Paradoxes_of_material_implication dbr:Boolean_logic dbr:W._V._Quine dbr:Disjunction dbr:H._P._Grice dbr:Binary_operator dbr:Kluwer |
| dbp:0Preserving | no (en) |
| dbp:1Preserving | yes (en) |
| dbp:affine | no (en) |
| dbp:date | February 2021 (en) |
| dbp:logicGate | IMPLY_ANSI.svg (en) |
| dbp:monotone | no (en) |
| dbp:otherTitles | IMPLY (en) |
| dbp:reason | Why is proof theory necessary for this? (en) |
| dbp:selfDual | no (en) |
| dbp:title | Material conditional (en) |
| dbp:vennDiagram | Venn1011.svg (en) |
| dbp:wikiPageUsesTemplate | dbt:No2 dbt:! dbt:Citation_needed dbt:Clarify dbt:Commons_category-inline dbt:Distinguish dbt:Div_col dbt:Div_col_end dbt:Efn dbt:Expand_section dbt:Math dbt:Mvar dbt:Notelist dbt:Redirect dbt:Reflist dbt:Short_description dbt:Cite_SEP dbt:Yes2 dbt:Mathematical_logic dbt:Common_logical_symbols dbt:Infobox_logical_connective dbt:Logical_connectives |
| dct:subject | dbc:Conditionals dbc:Logical_consequence dbc:Logical_connectives dbc:Semantics |
| rdf:type | owl:Thing yago:WikicatLogicalConnectives yago:Abstraction100002137 yago:Conjunction106325826 yago:FunctionWord106291318 yago:LanguageUnit106284225 yago:Part113809207 yago:Relation100031921 yago:Word106286395 |
| rdfs:comment | القضية الشرطية عند المنطقيين هي القضية المركبة من قضيتين إحداهما محكوم عليها والأخرى محكوم بها. وهي على قسمين لأنها إن أوجبت حصول إحدى القضيتين عند حصول الأخرى أو سلبته فهي متصلة وإن أوجبت انفصال إحداهما عن الأخرى أو سلبته فهي منفصلة. فالقضية شرطية مثل كلما كانت الشمس طالعة فالنهار موجود. (ar) Implikace (z lat. implicatio, propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí. Skutečnost nebo výpověď A implikuje nějaké B, pokud z A nutně vyplývá B, případně pokud je B v A už zahrnuto čili implikováno. Příklad: „Nebude-li pršet, nezmoknem.“ (cs) Implico estas kopulo, kiu ligas du logikan frazon p (antaŭulo de implico) kaj q (postanto de implico). il signifas : "el p rezultas/implicas q".. Vertabelo por implico: Se signifi vero = 1 kaj malvero = 0. Implico povas prezenti per aliaj simboloj de matematika logiko: Implico havas tion ĉi kvaliton: Tio ĉi formulo estas bazo de . (eo) Il termine implicazione logica si riferisce al legame che esiste tra una proposizione (antecedente) e un'altra proposizione (conseguente) in modo da metterne in relazione i rispettivi valori di verità. (it) Implikacja, implikacja materialna (w odróżnieniu od implikacji formalnej, tj. wynikania) – zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań (poprzednik implikacji) i (następnik implikacji) spójnikiem implikacji Spójnik implikacji jest spójnikiem ekstensjonalnym – implikacja przyjmuje wartości logiczne zależące jedynie od wartości logicznych łączonych zdań. gdzie: 1 – prawda0 – fałsz. (pl) 論理包含（ろんりほうがん、含意（がんい）、内含、英: implication、IMP）は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文（じょうけんぶん、英: conditional）とほぼ同じものである。論理的帰結（英: logical consequence）や伴意（英: entailment）とは異なる物である。 「論理的帰結」を参照 2つの命題 P と Q に対する論理包含を P → Q などと書き、「P ならば Q」と読む。命題 P → Q に対し、P をその前件、Q をその後件などと呼ぶ。 (ja) O condicional material, também conhecido como implicação material, condicional funcional de verdade ou simplesmente condicional, é uma operação lógica. (pt) 在命题演算，或在数学的逻辑演算中，实质条件、實質蘊涵或蕴涵算子是一种二元的真值泛函的逻辑运算符，它有着如下形式： 若A，則B。 这裡的A和B是陈述变量（可以被语言中任何有意义的可表示的句子所替代）。在这种形式的陈述中，第一项这裡的A，叫做前件；第二项这裡的B，叫做后件。 这个算子使用右箭头“→”（有时用符号“⇒”或“⊃”）来符号化，其語義僅爲“如果A為真，那么B亦為真”。它的常見寫法見下： * * * 須注意的是，更常用於語意蘊含（等同符號）。這也是大多數初學者易搞混的點。 (zh) Імплікація — логічна зв'язка «якщо …, то …», тобто оператор між множиною T формул та формулою B, що виконується, якщо кожна модель (або інтерпретація) T також є моделлю B. У символьному вигляді: 1. * , 2. * 3. * 4. * Двомісна логічна операція, що має значення «хибність», тоді і тільки тоді, коли перший операнд має значення «істина», а другий — «хибність». Логічну імплікацію можна задати через інші логічні операції, наприклад: (uk) El condicional material, també conegut com a implicació material, condicional funcional de veritat o simplement condicional, és una constant lògica que connecta dues proposicions. El condicional material intenta ser la versió formal del condicional en el llenguatge natural, el qual s'expressa per mitjà de paraules com les següents: * Si plou, llavors vaig al cinema. * Vaig al cinema si plou. * Quan plou, vaig al cinema. Simbòlicament, el condicional material se sol denotar de les següents maneres: , i de vegades: (ca) Subjunktion (lat. subiungere ,unterordnen‘) oder Konditional (lat. condicio ,Beschaffenheit, Zustand, Bedingung, Verfassung‘) oder auch materiale Implikation (lat. materia ,das, woraus etwas besteht‘ und implicare ,umfassen‘) wird in der Logik eine Aussage genannt, die mit dem Junktor „Wenn-dann“ aus zwei anderen Aussagen zusammengesetzt ist, zum Beispiel die Aussage „Wenn ein elektrischer Strom fließt, dann erwärmt sich die Leitung“. (de) El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es un conectiva lógica que conecta dos proposiciones, representado usualmente como . En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como una relación de subconjuntos entre la extensión de predicados (posiblemente complejos). Con respecto a las variables A y B, (es) The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol is interpreted as material implication, a formula is true unless is true and is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum. (en) En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors mon gazon est arrosé ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.). (fr) De logische implicatie is in de logica een bewering die stelt dat als P waar is, Q ook waar is. Deze bewering is alleen onwaar als het antecedent P waar is en het consequent Q onwaar is. De waarheid van het geheel hangt alleen af van de waarheidswaarden van de samenstellende delen en niet van hun betekenis, wat soms tot tegenintuïtieve resultaten leidt. Om dit te benadrukken wordt de implicatie ook wel materiële implicatie genoemd. De waarheidstabel van de implicatie is als volgt: (T = True = waar, F = False = onwaar) (nl) Имплика́ция (от лат. implicatio «связь; сплетение») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую сторону, но всегда указывающие на следствие. Суждение, выражаемое импликацией, выражается также следующими способами: * посылка является условием, достаточным для выполнения следствия: * следствие является условием, необходимым для истинности посылки. (ru) En implikation eller villkorssats är en sats på formen "om A så B", där A och B var för sig är satser. Implikationens första del ("villkoret") kallas antecedent och dess andra del ("slutsatsen") kallas konsekvent. En implikation kan vara materiell, tautolog, formell eller kontrafaktisk. (sv) |
| rdfs:label | قضية شرطية (ar) Condicional material (ca) Implikace (cs) Subjunktion (de) Implico (eo) Condicional material (es) Implication (logique) (fr) Implicazione logica (it) Material conditional (en) 論理包含 (ja) Logische implicatie (nl) Implikacja materialna (pl) Condicional material (pt) Implikation (sv) Импликация (ru) Логічна імплікація (uk) 实质条件 (zh) |
| owl:differentFrom | dbr:Material_inference dbr:Material_implication_(rule_of_inference) |
| owl:sameAs | freebase:Material conditional yago-res:Material conditional wikidata:Material conditional http://am.dbpedia.org/resource/ጥገኛ_አምክንዮ dbpedia-ar:Material conditional dbpedia-be:Material conditional dbpedia-bg:Material conditional dbpedia-ca:Material conditional dbpedia-cs:Material conditional dbpedia-de:Material conditional dbpedia-eo:Material conditional dbpedia-es:Material conditional dbpedia-et:Material conditional dbpedia-fa:Material conditional dbpedia-fi:Material conditional dbpedia-fr:Material conditional dbpedia-he:Material conditional dbpedia-hr:Material conditional dbpedia-hu:Material conditional http://hy.dbpedia.org/resource/Իմպլիկացիա dbpedia-it:Material conditional dbpedia-ja:Material conditional dbpedia-kk:Material conditional dbpedia-mk:Material conditional dbpedia-nl:Material conditional dbpedia-no:Material conditional dbpedia-pl:Material conditional dbpedia-pms:Material conditional dbpedia-pt:Material conditional dbpedia-ro:Material conditional dbpedia-ru:Material conditional dbpedia-simple:Material conditional dbpedia-sk:Material conditional dbpedia-sv:Material conditional dbpedia-th:Material conditional dbpedia-uk:Material conditional dbpedia-zh:Material conditional https://global.dbpedia.org/id/4wF7d |
| prov:wasDerivedFrom | wikipedia-en:Material_conditional?oldid=1124526813&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/IMPLY_ANSI.svg wiki-commons:Special:FilePath/Venn1011.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Material_conditional |
| is dbo:wikiPageDisambiguates of | dbr:Conditional dbr:Condition |
| is dbo:wikiPageRedirects of | dbr:𝑝 dbr:𝑞 dbr:Implies_operator dbr:Material_consequence dbr:Material_implication_(logical_connective) dbr:Conditional_implication dbr:If_p_then_q dbr:Logical_conditional dbr:Truth-functional_conditional |
| is dbo:wikiPageWikiLink of | dbr:Begriffsschrift dbr:Propositional_calculus dbr:Propositional_formula dbr:Quantum_logic dbr:List_of_XML_and_HTML_character_entity_references dbr:Megarian_school dbr:Universal_quantification dbr:Bitwise_operation dbr:Deductive_reasoning dbr:Algebraic_semantics_(computer_science) dbr:Antecedent_(logic) dbr:Argumentation_scheme dbr:Relevance dbr:Currying dbr:Validity_(logic) dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:𝑝 dbr:𝑞 dbr:Destructive_dilemma dbr:Donkey_sentence dbr:Inclusion_(Boolean_algebra) dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Indicative_conditional dbr:Interpretation_(logic) dbr:Intuitionistic_logic dbr:List_of_logic_symbols dbr:List_of_rules_of_inference dbr:Post's_lattice dbr:Psychology_of_reasoning dbr:Rayo's_number dbr:Commensurability_(philosophy_of_science) dbr:Consequent dbr:Correlation_does_not_imply_causation dbr:Corresponding_conditional dbr:Prenex_normal_form dbr:Chrysippus dbr:English_relative_clauses dbr:Equality_(mathematics) dbr:Gettier_problem dbr:Glossary_of_artificial_intelligence dbr:Glossary_of_mathematical_symbols dbr:Greater-than_sign dbr:Mxparser dbr:Conditional dbr:Conditional_proof dbr:Conditional_sentence dbr:Congruence_relation dbr:Constructive_dilemma dbr:Contraposition dbr:Contraposition_(traditional_logic) dbr:Converse_(logic) dbr:Converse_nonimplication dbr:Andrzej_Grzegorczyk dbr:Logic dbr:Loglan dbr:Functional_completeness dbr:Functional_predicate dbr:Horn_clause dbr:Horseshoe_(symbol) dbr:Philo_the_Dialectician dbr:Polish_notation dbr:Many-valued_logic dbr:Material_inference dbr:Material_nonimplication dbr:→ dbr:Adjoint_functors dbr:Throffer dbr:Transitive_relation dbr:Truth_function dbr:Truth_table dbr:Type_theory dbr:What_the_Tortoise_Said_to_Achilles dbr:Willard_Van_Orman_Quine dbr:Drinker_paradox dbr:Fuzzy_concept dbr:List_of_Boolean_algebra_topics dbr:Logic_alphabet dbr:Logical_biconditional dbr:Logical_form dbr:Logical_reasoning dbr:Lojban_grammar dbr:Minimal_logic dbr:Paraconsistent_logic dbr:Three-valued_logic dbr:Always_already dbr:Eric_Hehner dbr:Ernst_Mally dbr:Exclusive_or dbr:FO(.) dbr:False_(logic) dbr:First-order_logic dbr:Direct_proof dbr:Discourse_representation_theory dbr:Formal_fallacy dbr:Hannes_Leitgeb dbr:History_of_logic dbr:History_of_mathematical_notation dbr:Logical_connective dbr:Logical_consequence dbr:Logical_constant dbr:Strict_conditional dbr:Logical_disjunction dbr:Vic_Dudman dbr:Predicate_functor_logic dbr:Mathematical_proof dbr:Predicative_programming dbr:Relevance_logic dbr:Counterfactual_conditional dbr:Józef_Maria_Bocheński dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Biological_tests_of_necessity_and_sufficiency dbr:Transposition_(logic) dbr:Shea_Zellweger dbr:Modus_ponens dbr:Arrow_(symbol) dbr:Boolean_algebra dbr:Frege's_theorem dbr:Ian_Rumfitt dbr:If_and_only_if dbr:Implicational_propositional_calculus dbr:Inequality_(mathematics) dbr:Method_of_analytic_tableaux dbr:Necessity_and_sufficiency dbr:Categorical_proposition dbr:Raven_paradox dbr:Material_implication_(rule_of_inference) dbr:Material_implication dbr:Modus_tollens dbr:Monoidal_t-norm_logic dbr:Uniform_continuity dbr:Wason_selection_task dbr:Without_loss_of_generality dbr:Experimentum_crucis dbr:Exportation_(logic) dbr:Condition dbr:Conditional_statement dbr:Implication dbr:Implication_graph dbr:Import–export_(logic) dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Philosophical_logic dbr:Object_of_the_mind dbr:Randolph_diagram dbr:Fitch's_paradox_of_knowability dbr:Residuated_Boolean_algebra dbr:Physicalism dbr:Vacuous_truth dbr:Sum_of_Logic dbr:Walter_Burley dbr:Philosophy_of_logic dbr:Outline_of_logic dbr:Paradoxes_of_material_implication dbr:Stoic_logic dbr:Implies_operator dbr:Material_consequence dbr:Material_implication_(logical_connective) dbr:Conditional_implication dbr:If_p_then_q dbr:Logical_conditional dbr:Truth-functional_conditional |
| is foaf:primaryTopic of | wikipedia-en:Material_conditional |
