Implicational propositional calculus
id:
implicational-propositional-calculus-227-1716035
title:
Implicational propositional calculus
text:
In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus that uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if..., then...", "→", " → ", etc..
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Implicational_propositional_calculus
date created:
2006-07-02T10:45:31Z
date modified:
2024-09-15T06:23:03Z
main entity:
{"identifier":"Q6007243","url":"https://www.wikidata.org/entity/Q6007243"}
image:
fields total:
13
integrity:
14