in Mathematical Logic
241 views
0 votes
0 votes
how can we link consistency and satisfiability ?

are they bidirectional? plz help
in Mathematical Logic
241 views

1 Answer

0 votes
0 votes
Satisfiability means that an expression can be made true atleast once.

Consistency means there is no condition leading to contradiction.

One cannot guarantee the other condition. So they cannot be bidirectional
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true