Biconditional elimination
id:
biconditional-elimination-192-13412813
title:
Biconditional elimination
text:
Biconditional elimination is the name of two valid rules of inference of propositional logic. It allows for one to infer a conditional from a biconditional. If P ↔ Q is true, then one may infer that P → Q is true, and also that Q → P is true. For example, if it's true that I'm breathing if and only if I'm alive, then it's true that if I'm breathing, I'm alive; likewise, it's true that if I'm alive, I'm breathing. The rules can be stated formally as: and where the rule is that wherever an instanc
brand slug:
wiki
category slug:
encyclopedia
description:
Inference in propositional logic
original url:
https://en.wikipedia.org/wiki/Biconditional_elimination
date created:
date modified:
2024-02-01T20:12:53Z
main entity:
{"identifier":"Q4903712","url":"https://www.wikidata.org/entity/Q4903712"}
image:
fields total:
13
integrity:
14