In logic, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required that a valid argument have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. A formula is valid if and only if it is true under every interpretation, and an argument form (or schema) is valid if and only if every argument of that logical form is valid.

Property Value
dbo:abstract
• In logic, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required that a valid argument have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. A formula is valid if and only if it is true under every interpretation, and an argument form (or schema) is valid if and only if every argument of that logical form is valid. (en)
dbo:wikiPageID
• 21304742 (xsd:integer)
dbo:wikiPageRevisionID
• 728954417 (xsd:integer)
dbp:b
• no
dbp:commons
• no
dbp:d
• no
dbp:n
• no
dbp:q
• no
dbp:s
• no
dbp:species
• no
dbp:v
• no
dbp:voy
• no
dbp:wikt
• validity
dct:subject
rdfs:comment
• In logic, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required that a valid argument have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. A formula is valid if and only if it is true under every interpretation, and an argument form (or schema) is valid if and only if every argument of that logical form is valid. (en)
rdfs:label
• Validity (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is http://purl.org/linguistics/gold/hypernym of
is foaf:primaryTopic of